Labelled modal logics: Quantifiers

Journal of Logic, Language and Information

Volumn 7, Issue 3, 1998, Pages 237-263

  Basin, David ^a   Matthews, Seán ^b   Viganò, Luca ^b  

^a UNIVERSITY OF FREIBURG   (Germany)

^b MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

Free logic; Labelled deductive systems; Natural deduction; Quantified modal logics

Indexed keywords

EID: 54649083073     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008278803780     Document Type: Article

References (29)

1. Auffray, Y. and Enjalbert, P., 1992, "Modal theorem proving: An equational viewpoint," Journal of Logic and Computation 2(3), 247-297.
2. Avron, A., 1991, "Simple consequence relations," Information and Computation 92, 105-139.
3. Basin, D., Matthews, S., and Viganò, L., 1997a, "Labelled prepositional modal logics: Theory and practice," Journal of Logic and Computation 1 (to appear).
4. Basin, D., Matthews, S., and Viganò, L., 1997b, "A new method for bounding the complexity of modal logics," in Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC'97), A. Leitsch, ed., Berlin: Springer-Verlag.
5. Bencivenga, E., 1986, "Free logics," pp. 373-426 in Handbook of Philosophical Logic, Vol. 3, D.M. Gabbay and F. Guenther, eds., Dordrecht: D. Reidel Publishing Company.
6. Corsi, G. and Ghilardi, S., 1992, "Semantical aspects of quantified modal logic," pp. 167-195 in Knowledge, Belief and Strategic Interaction, C. Bicchieri and M. Dalla Chiara, eds., Cambridge, New York: Cambridge University Press.
7. Fitting, M., 1983, Proof Methods for Modal and Intuitionistic Logics, Dordrecht: Kluwer Academic Publishers.
8. Fitting, M., 1993, "Basic modal logic," pp. 365-448 in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. I, D.M. Gabbay, C.J. Hogger, and J.A. Robinson, eds., Oxford: Clarendon Press.
9. Gabbay, D.M., 1996, Labelled Deductive Systems, Volume 1, Oxford: Clarendon Press.
10. Gabbay, D.M. and Guenthner, F., eds., 1983-1986, Handbook of Philosophical Logic, Dordrecht: D. Reidel Publishing Company.
11. Garson, J., 1984, "Quantification in modal logic," pp. 249-307 in Handbook of Philosophical Logic, Vol. 2, D.M. Gabbay and F. Guenther, eds., Dordrecht: D. Reidel Publishing Company.
12. Harper, R., Honsell, F, and Plotkin, G., 1993, "A framework for defining logics," Journal of the ACM 40(1), 143-184.
13. Herzig, A., 1989, "Raisonnement automatique en logique modale et algorithmes d'unification," PhD Thesis, Université Paul-Sabatier, Toulouse.
14. Hughes, G. and Cresswell, M., 1996, A New Introduction to Modal Logic, London: Routledge.
15. Kripke, S., 1963, "Semantical considerations on modal logics," Acta Philosophica Fennica 16, 83-94.
16. Nerode, A. and Shore, R., 1993, Logic for Applications, Berlin: Springer-Verlag.
17. Ohlbach, HJ., 1991, "Semantics based translation methods for modal logics," Journal of Logic and Computation 1(5), 691-746.
18. Paulson, L., 1994, Isabelle: A Generic Theorem Prover, LNCS, Vol. 828, Berlin: Springer-Verlag.
19. Perzanowski, J., 1973, "The deduction theorem for the modal propositional calculi formalized after the manner of Lemmon, Part I," Reports on Mathematical Logic 1, 1-12.
20. Prawitz, D., 1965, Natural Deduction, A Proof-Theoretical Study, Stockholm: Almqvist and Wiksell.
21. Prawitz, D., 1971, "Ideas and results in proof theory," pp. 235-307 in Proceedings of the 2nd Scandinavian Logic Symposium, J.E. Fensted, ed., Amsterdam: North-Holland.
22. Russo, A., 1996, "Modal logics as labelled deductive systems," PhD Thesis, Department of Computing, Imperial College, London.
23. Shoenfield, J.R., 1967, Mathematical Logic, Reading, MA: Addison Wesley.
24. Simpson, A., 1993, "The proof theory and semantics of intuitionistic modal logic," PhD Thesis, University of Edinburgh, Edinburgh.
25. Troelstra, A.S. and Schwichtenberg, H., 1996, Basic Proof Theory, Cambridge, New York: Cambridge University Press.
26. van Benthem, J., 1984, "Correspondence theory," pp. 167-248 in Handbook of Philosophical Logic, Vol. 2, D.M. Gabbay and F. Guenther, eds., Dordrecht: D. Reidel Publishing Company.
27. van Benthem, J., 1985, Modal Logic and Classical Logic, Napoli: Bibliopolis.
28. van Dalen, D., 1994, Logic and Structure, Berlin: Springer-Verlag.
29. Wallen, L., 1990, Automated Deduction in Non-Classical Logics, Cambridge, MA: MIT Press.