Proof theory for functional modal logic
From MaRDI portal
Publication:1708100
DOI10.1007/s11225-017-9725-0zbMath1437.03093OpenAlexW2626478877MaRDI QIDQ1708100
Publication date: 4 April 2018
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11343/214152
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD, Guest editors' introduction
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Analytic calculi for circular concepts by finite revision
- A cut-free sequent system for two-dimensional modal logic, and why it matters
- Gentzen calculi for modal propositional logic
- Linear logic by levels and bounded time complexity
- Modal logics with functional alternative relations
- 2-sequent calculus: A proof theory of modalities
- A revision-theoretic analysis of the arithmetical hierarchy
- Many-dimensional modal logics: theory and applications
- Displaying modal logic
- Positive modal logic
- An abstract approach to stratification in linear logic
- Conditionals in theories of truth
- Nested sequents for intuitionistic logics
- On some calculi of modal logic
- SAT-Based Decision Procedure for Analytic Pure Sequent Calculi
- SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS
- CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS
- Linear Nested Sequents, 2-Sequents and Hypersequents
- Sequential Calculus for a First Order Infinitary Temporal Logic
- A constructive analysis of RM
- The Pure Logic of Necessitation
- Decidability and incompleteness results for first-order temporal logics of linear time
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Proof Theory