Cut-free tableau calculi for some propositional normal modal logics-Reference-Cited by-同舟云学术

Cut-free tableau calculi for some propositional normal modal logics

Published:1996-10 Issue:2-3 Volume:57 Page:359-372
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Amerbauer Martin

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

http://link.springer.com/content/pdf/10.1007/BF00370840.pdf

Reference8 articles.

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. Goré, R., 1992, ?Cut-free sequent and tableau systems for prepositional normal modal logics?, Cambridge computer laboratory technical report Nr. 257, Cambridge.

3. Goré, R., 1994, ?Cut-free sequent and tableau systems for propositional Diodorean modal logics?, Studia Logica 53, 433?457.

4. Goré, 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.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Non-contingency in a Paraconsistent Setting;Logic Journal of the IGPL;2023-01-16

2. Modal Logics that Bound the Circumference of Transitive Frames;Hajnal Andréka and István Németi on Unity of Science;2021

3. Lewis meets Brouwer: Constructive strict implication;Indagationes Mathematicae;2018-02

4. Hypersequent rules with restricted contexts for propositional modal logics;Theoretical Computer Science;2016-12

5. Constructive Modalities with Provability Smack;Leo Esakia on Duality in Modal and Intuitionistic Logics;2014