Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

DOI10.12775/LLP.2020.018MaRDI QIDQ5013620

Eugenio Orlandelli

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

zbMATH Keywords

interpolationdecidabilitysequent calculistructural proof theorydeontic logicsnon-normal logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Uniform Lyndon interpolation for basic non-normal modal logics

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
• 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