2 Modal proof theory
Bibliography (62)
- et al.
About cut elimination for logics of common knowledge
Annals of Pure and Applied Logic
(2005) Evidence-based common knowledge
The method of hypersequents in the proof theory of propositional non-classical logics
Display logic
Journal of Philosophical Logic
(1982)The Foundations of Mathematics
(1959)- et al.
Modal Logic
(2001) - et al.
A perspective on modal sequent logic
Publications of the Research Institute for Mathematical Sciences, Kyoto University
(1991) The Unprovability of Consistency
(1979)The Logic of Provability
(1993)Interpreting modal natural deduction in type theory
Cut-free display calculi for nominal tense logics
Sequent systems for modal logic
Journal of Symbolic Logic
(1985)
Reasoning About Knowledge
(1995)
Symbolic Logic, An Introduction
(1952)
Natural deduction rules for obligation
American Philosophical Quarterly
(1995)
Tableau methods of proof for modal logics
Notre Dame Journal of Formal Logic
(1972)
Proof Methods for Modal and Intuitionistic Logics
(1983)
Destructive modal resolution
Journal of Logic and Computation
(1990)
Basic modal logic
First-Order Logic and Automated Theorem Proving
(1996)
First order alethic modal logic
Types, Tableaus, and Gödel's God
(2002)
First-order intensional logic
Annals of Pure and Applied Logic
(2004)
First-Order Modal Logic
(1998)
Labelled Deductive Systems
(1996)
Quantification in modal logic
Investigation into logical deduction
Untersuchungen über das logische Schliessen
Mathematische Zeitschrift
(1935)
Untersuchungen über das logische Schliessen
Mathematische Zeitschrift
(1935)
Combining deduction and model checking into tableaux and algo- rithms for converse-PDL
Information and Computation
(2000)
An interpretation of the intuitionistic propositional calculus
Eine Interpretation des intuitionistischen Aussagenkalküls
Ergebnisse eines mathematischen Kolloquiums
(1933)
Cited by (57)
Dual and axiomatic systems for constructive S4, a formally verified equivalence
2020, Electronic Notes in Theoretical Computer ScienceAxiomatizations of team logics
2018, Annals of Pure and Applied LogicTableau reductions: Towards an optimal decision procedure for the modal necessity
2016, Journal of Applied LogicA general proof certification framework for modal logic
2019, Mathematical Structures in Computer SciencePROOF ANALYSIS for LEWIS COUNTERFACTUALS
2016, Review of Symbolic LogicThe Quantum Monadology
2023, arXiv
Copyright © 2007 Elsevier B.V. All rights reserved.