Cut-free tableau calculi for some propositional normal modal logics

Studia Logica

Volumn 57, Issue 2-3, 1996, Pages 359-372

  Amerbauer, Martin ^a  

^a UNIVERSITY OF SALZBURG   (Austria)

Author keywords

Normal modal logic; Tableau calculus

Indexed keywords

EID: 44649123865     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/BF00370840     Document Type: Article

References (9)

1. Bull, R. A., and K. Segerberg, 1984, 'Basic modal logic', In Gabbay, D. and Guenthner, F., eds.: Handbook of philosophical logic, Vol. II: Extensions of classical logic, Dordrecht, 1-88.
2. GORE, R., 1992, 'Cut-free sequent and tableau systems for prepositional normal modal logics', Cambridge computer laboratory technical report Nr. 257, Cambridge.
3. GORE, R., 1994, 'Cut-free sequent and tableau systems for prepositional Diodorean modal logics', Studia Logica 53, 433-457.
4. GORE, R., 1994, 'Semi-analytic tableaux for propositional normal modal logics with applications to nonmonotonicity', Logique et Analyse, 133-134.
5. HUGHES, G. E., and M. J. CRESSWELL, 1984, A companion to modal logic, London.
6. Liu, C. L., 1985, Elements of discrete mathematics, 2nd ed. New York.
7. RAUTENBERG, W., 1983, 'Modal tableau calculi and interpolation', Journal of Philosophical Logic 12, 403-423.
8. Corrections for modal tableau calculi and interpolation'. In: Journal of Philosophical Logic 14, 1985, 229.
9. SEGERBERG, K., 1971, An essay in classical modal logic, Uppsala.