Classical Natural Deduction for S4 Modal Logic
No abstract available.
Related papers
- Computational Types from a Logical Perspective JFP 1998
- Special issue on 'Logical frameworks and metalanguages' JFP 2003
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Control effects as a modality JFP 2009
- A fixpoint calculus for local and global program flows POPL 2006
- Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning POPL 2025
- Multi-modal synthesis of regular expressions PLDI 2020
- Deductive Stability Proofs for Ordinary Differential Equations TACAS 2021