Proof theory for functional modal logic

DOI10.1007/s11225-017-9725-0zbMath1437.03093OpenAlexW2626478877MaRDI QIDQ1708100

Shawn Standefer

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

zbMATH Keywords

proof theoryrevision theoryhypersequentsfunctional modal logic

Mathematics Subject Classification ID

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 (2)

Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD ⋮ Guest editors' introduction

Uses Software

• Pesca

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

This page was built for publication: Proof theory for functional modal logic