Simulating without negation

Journal of Logic and Computation

Volumn 7, Issue 4, 1997, Pages 501-522

  Kurtonina, Natasha ^a   De Rijke, Maarten ^b  

^a GHENT UNIVERSITY   (Belgium)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

Expressive power; Modal logic; Negation free languages

Indexed keywords

EID: 0000909967     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/7.4.501     Document Type: Article

References (20)

1. H. Andréka, J. van Benthem and I. Németi. Back and forth between modal logic and classical logic. Journal of the IGPL, 3, 685-720, 1995.
2. F. Baader. A formal definition for the expressive power of terminological knowledge representation languages. Journal of Logic and Computation, 6, 33-54, 1996.
3. J. van Benthem. Exploring Logical Dynamics. Studies in Logic, Language and Information. CSLI Publications, Stanford, 1996.
4. J. van Benthem and J. Bergstra. Logic of transition systems. Journal of Logic, Language and Information, 3, 247-283, 1994.
5. J. van Benthem, J. van Eijck and V. Stebletsova. Modal logic, transition systems and processes. Journal of Logic and Computation, 4, 811-855, 1994.
6. C. C. Chang and H. J. Keisler. Model Theory. North-Holland, Amsterdam, 1973.
7. F. M. Donini, M. Lenzerini, D. Nardi and A. Schaerf. Reasoning in Description Logics. In Principles of Knowledge Representation, Brewka, ed. Studies in Logic, Language and Information. CSLI Publications, Stanford, 1996.
8. J. M. Dunn. Positive modal logic. Studia Logica, 55, 301-317, 1995.
9. M. Hennessy and R. Milner. Algebraic laws for indeteiminism and concurrency. Journal of the ACM, 32, 137-162, 1985.
10. W. Hodges. Model Theory. Cambridge University Press, Cambridge, 1993.
11. W. van der Hoek and M. de Rijke. Counting objects. Journal of Logic and Computation, 5, 325-345, 1995.
12. M. Hollenberg. Hennessy-Milner Classes and Process Algebra. In Modal Logic and Process Algebra, A. Ponse, M. de Rijke and Y. Venema, eds. pp. 187-216. CSLI Publications, 1995.
13. M. Hollenberg. Bisimulation for intersection. Manuscript, Department of Philosophy, Utrecht University, 1996.
14. N. Kurtonina. Frames and Labels. PhD thesis, OTS, Utrecht/ILLC, University of Amsterdam, 1995.
15. N. Kurtonina and M. de Rijke. Bisimulations for temporal logic. Journal of Logic, Language and Information, to appear.
16. N. Kurtonina and M. de Rijke. Analyzing feature logic. Manuscript, Department of Computer Science, University of Warwick, 1996.
17. N. Kurtonina and M. de Rijke. Directed simulations. Computer Science Logic '96, to appear.
18. M. de Rijke. Modal model theory. Annals of Pure and Applied Logic, to appear.
19. P. Rodenburg. Intuitionistic Correspondence Theory. PhD thesis, Department of Mathematics, University of Amsterdam, 1986.
20. W. C. Rounds. Feature Logics. In Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds. Elsevier Science, Amsterdam, 1996, to appear.