On the finite model property of non-normal modal logics

DOI10.1007/978-3-031-45558-2_16MaRDI QIDQ6562546

Yu Peng, Author name not available (Why is that?)

Publication date: 26 June 2024

zbMATH Keywords

FMPdecidabilitynon-normal modal logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Natural deduction, hybrid systems and modal logics
• Sequent calculi and decision procedures for weak modal systems
• Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism
• Non normal logics: semantic analysis and proof theory
• Complexity of the universal theory of modal algebras
• Neighborhood semantics for modal logic
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• Proof Analysis in Deontic Logics
• Interpolation and FEP for logics of residuated algebras
• Modularisation of Sequent Calculi for Normal and Non-normal Modalities
• Gentzen sequent calculi for some intuitionistic modal logics
• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
• Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability
• Non-associative Lambek calculus with modalities: interpolation, complexity and FEP
• Universal grammar

This page was built for publication: On the finite model property of non-normal modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562546)