Labelled sequent calculi for Lewis' non-normal propositional modal logics

DOI10.1007/s11225-020-09924-zOpenAlexW3087058606MaRDI QIDQ2243546

Matteo Tesi

Publication date: 11 November 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09924-z

zbMATH Keywords

proof theorystrict implicationnon-normal modal logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Proof systems for super-strict implication

Cites Work

• Labeled sequent calculi for modal logics and implicit contractions
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Sequent calculi and decision procedures for weak modal systems
• Modular sequent calculi for classical modal logics
• Proof Analysis
• Proof Search in Nested Sequent Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item