Finite model property for negative modalities

DOI10.17377/SEMI.2013.10.001MaRDI QIDQ890969zbMATH OpenFDO

Authors S. P. Odintsov, Sergey Drobyshevich

Publication date 16 November 2015

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

algebraic semanticsnegation as modalityHeyting-Ockham logicRoutley semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Finite model property for an intuitionistic modal logic
• scientific article; zbMATH DE number 2024611
• Finite model property of modal logics of finite depth
• A finite model property for Gödel modal logics
• Characterizations of negative definability in modal logic
• The finite model property for logics with the tangle modality
• scientific article; zbMATH DE number 3884136
• A model existence theorem in infinitary propositional modal logic
• Finite model property of normal modal logics and constant formulas: an example
• A modal logic of a truth definition for finite models

Cited in

(13)

• ANSWER TO A QUESTION SUGGESTED BY SCHUMM
• Normal companions of intuitionistic modal logics
• Some modal operators over intuitionistic logic
• Routley star and hyperintensionality
• A consistent prepositional logic without any finite models
• On classical behavior of intuitionistic modalities
• Unary negation fragment with equivalence relations has the finite model property
• The finite model property for logics with the tangle modality
• The Kuznetsov-Gerčiu and Rieger-Nishimura logics
• On displaying negative modalities
• The finite model property in tense logic
• Double negation operator in logic \(N^*\)
• The Došen square under construction: a tale of four modalities

This page was built for publication: Finite model property for negative modalities

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