Axiomatizations with context rules of inference in modal logic

Studia Logica

Volumn 61, Issue 2, 1998, Pages 179-197

  Goranko, Valentin ^a  

^a UNIVERSITY OF JOHANNESBURG   (South Africa)

Author keywords

Automatizations; Completeness; Inference rules; Modal logic

Indexed keywords

EID: 54649084877     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005021313747     Document Type: Article

References (25)

1. VAN BENTHEM, J., Modal Logic and Classical Logic, Bibliopolis, Napoli, 1985.
2. VAN BENTHEM, J., 'Correspondence theory', in: D. Gabbay, F. Guenthner (eds.), Handbook on Philosophical Logic, vol. II, Reidel, Dordrecht, 1984, 167-247.
3. FINE, K., 'Some connections between modal and elementary logic', in: S. Kanger (od.), Pros. Third Scandinavian Logic Symposium, North-Holland, Amsterdam, 1970, 15-31.
4. GABBAY, D., 'An Irreflexivity lemma with applications to axiomatizations of conditions on tense frames', in: U. Monnich (ed.), Aspects of Philosophical Logic, Reidel, Dordrecht, 1981, 67-89.
5. GABBAY, D., & I. HODKINSON, 'An axiomatization of the temporal logic with Since and Until over the real numbers', J, of Logic and Computation 1, 1990, 229-259.
6. GARGOV, G., & V. GORANKO, 'Modal logic with names', J. of Philosophical Logic 22(6), 1993, 607-636.
7. GOLDBLATT, R., 'Metamathematics of modal logic', Reports on Mathematical Logic 6, 41-78 (Part I); 7, 21-52 (Part II).
8. GOLDBLATT, H,. I., Axiomatizing the Logic of Computer Programming, Springer LNCS 130, 1982.
9. GORANKO, V., 'Applications of quasi-structural rules to axiomatizations in modal logic', in: Abstracts of the 9th Intern. Congress of Logic, Methodology and Philosophy of Science, Uppsala, 1991, Vol. 1: Logic, p. 119.
10. GORANKO, V., 'A note on derivation rules in modal logic', Bull of the Sect, of Logic, Univ. of Lódź, 24(2), 1995, 98-104.
11. GORANKO, V., 'Hierarchies of modal and temporal logics with reference pointers', J. of Logic, Language and Information, 5(1), 1996, 1-24.
12. HOLLENBERG, M., 'Negative definability in modal logic', manuscript, Department of Philosophy, Utrecht University, 1994, to appear in Studio, Logica.
13. HUGHES, G., & M. CRESSWELL, A New Introduction to Modal Logic, Routledge, London and New York, 1996.
14. KRACHT, M., Internal Definability and Completeness in Modal Logic, Ph. D. Thesis, Free University, Berlin, 1990.
15. KRACHT, M., 'How completeness and correspondence theory got married', in: M. de Rijke (ed.), Colloquium on Modal Logic, Dutch Network for Language, Logic and Information, 1991, 161-180.
16. PASSY, S., & T. TINCHEV, 'PDL with data constants', Information Processing Letters 20, 1985, 35-41.
17. DE RIJKE, M., 'The modal logic of inequality', J. of Symbolic Logic 57(2), 1992, 566-584.
18. SAMBIN, J., & V. VACCARO, 'Topology and duality in modal logic', Annals of Pure and Applied Logic 44, 1988, 173-242.
19. THOMASON, S. K., 'Semantic analysis of tense logic', J. of Symbolic Logic 37, 1972, 150-158.
20. VAKARELOV, D., 'Modal rules for intersection', Bull, of Symbolic Logic 1(2), 1990, 264-265.
21. VENEMA, Y., 'Expressiveness and completeness of an interval tense logic', Notre Dame J. of Formal Logic 31, 1990, 529-547.
22. VENEMA, Y., 'A modul logic fur chopping intervals', J. of Logic and Compatation 1, 1991, 453-476.
23. VENEMA, Y., Many-dimensional Modal Logic, Ph., D. Dissertation, Univ. of Amsterdam, 1991.
24. VENEMA, Y., 'Derivation rules as anti-axioms in modal logic', J. of Symbolic Logic 58(3), 1993, 1003-1034.
25. ZANARDO, A., 'A complete deductive system for Since-Until branching-time logic', J. of Philosophical Logic 20, 1991, 131-148.