Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
type: Item
instance of: scholarly article
title: Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
DOI: 10.12775/LLP.2020.018
author: Eugenio Orlandelli
published in: Logic and Logical Philosophy
publication date: 2021-12-02T00:00:00Z
full work available at URL: https://arxiv.org/abs/1903.11342
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7437981
zbMATH Keywords: non-normal logics
zbMATH Keywords: deontic logics
zbMATH Keywords: sequent calculi
zbMATH Keywords: structural proof theory
zbMATH Keywords: interpolation
zbMATH Keywords: decidability
describes a project that uses: Pesca
MaRDI profile type: Publication
cites work: Q4364506
cites work: Uniform interpolation and propositional quantifiers in modal logics
cites work: Variants of multi-relational semantics for propositional non-normal modal logics
cites work: Q3867808
cites work: Non normal logics: semantic analysis and proof theory
cites work: Q5224565
cites work: Countermodel construction via optimal hypersequent calculi for non-normal modal logics
cites work: Proof methods for modal and intuitionistic logics
cites work: Q3022776
cites work: Modular sequent calculi for classical modal logics
cites work: Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
cites work: Q5271379
cites work: On the semantic non-completeness of certain Lewis calculi
cites work: Neighbourhood Structures: Bisimilarity and Basic Model Theory
cites work: Q5271376
cites work: An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
cites work: Q3435245
cites work: Q3105688
cites work: Sequent calculi and decision procedures for weak modal systems
cites work: Modularisation of Sequent Calculi for Normal and Non-normal Modalities
cites work: Sequent calculi for global modal consequence relations
cites work: Q5736158
cites work: A formal system of first-order predicate calculus with infinitely long expressions
cites work: Does the deduction theorem fail for modal logic?
cites work: Proof theory for quantified monotone modal logics
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Proof Analysis
cites work: Proof Analysis in Deontic Logics
cites work: Neighborhood semantics for modal logic
cites work: The Logic of Exact Covers: Completeness and Uniform Interpolation
cites work: Cut elimination in coalgebraic logics
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: PSPACE bounds for rank-1 modal logics
cites work: Q4349945
cites work: Q4499084
cites work: Q4296507
cites work: Q3204443
Recommended article: Q4395551
Recommended article: Sequent Calculi for Normal Modal Propositional Logics
Recommended article: Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
Recommended article: Uniform interpolation and sequent calculi in modal logic
Recommended article: Modularisation of Sequent Calculi for Normal and Non-normal Modalities
Recommended article: Sequent calculi for propositional nonmonotonic logics
Recommended article: Modal sequents for normal modal logics
Recommended article: A nonmonotonic modal relevant sequent calculus
Recommended article: Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
Recommended article: Q4229377
description: scientific article; zbMATH DE number 7437981