Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)

DOI10.1016/J.JAL.2010.08.010MaRDI QIDQ631075zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Daniel Gorín

Publication date 22 March 2011

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2010.08.010

zbMATH Keywords

normal formsmodal logicshybrid logicsmodal depth

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Recommendations

• Disjunctive bases: normal forms for modal logics
• Disjunctive bases: normal forms and model theory for modal logics
• scientific article; zbMATH DE number 1497872
• Free Modal Algebras: A Coalgebraic Perspective
• scientific article; zbMATH DE number 1688389

Cites work

• scientific article; zbMATH DE number 1946871 (Why is no real title available?)
• Building decision procedures for modal logics from propositional decision procedures -- the case study of modal K
• Computing small clause normal forms
• Expressive Power and Decidability for Memory Logics
• Generalized quantifiers and modal logic
• Handbook of automated reasoning. In 2 vols
• Handbook of modal logic
• Interpolation for extended modal languages
• Modal logic
• Modal resolution in clausal form
• Normal form transformations
• On the complexity of fragments of modal logics
• Resolution calculi for modal logics
• SAT-based decision procedures for classical modal logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Using the Universal Modality: Gains and Questions

Cited in

(4)

• Disjunctive bases: normal forms for modal logics
• On characterization, definability and \(\omega \)-saturated models
• Symmetries in modal logics
• scientific article; zbMATH DE number 2213628 (Why is no real title available?)

This page was built for publication: Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)

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