Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
From MaRDI portal
Publication:5013620
DOI10.12775/LLP.2020.018MaRDI QIDQ5013620
Publication date: 2 December 2021
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1903.11342
Related Items (1)
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Does the deduction theorem fail for modal logic?
- Cut elimination in coalgebraic logics
- Uniform interpolation and propositional quantifiers in modal logics
- Proof methods for modal and intuitionistic logics
- A formal system of first-order predicate calculus with infinitely long expressions
- Sequent calculi and decision procedures for weak modal systems
- Countermodel construction via optimal hypersequent calculi for non-normal modal logics
- Non normal logics: semantic analysis and proof theory
- Sequent calculi for global modal consequence relations
- Modular sequent calculi for classical modal logics
- Neighborhood semantics for modal logic
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
- Proof Analysis in Deontic Logics
- PSPACE bounds for rank-1 modal logics
- Proof Analysis
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
- Variants of multi-relational semantics for propositional non-normal modal logics
- Modularisation of Sequent Calculi for Normal and Non-normal Modalities
- Proof theory for quantified monotone modal logics
- The Logic of Exact Covers: Completeness and Uniform Interpolation
- On the semantic non-completeness of certain Lewis calculi
This page was built for publication: Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics