Finite model property for negative modalities

DOI10.17377/SEMI.2013.10.001zbMATH Open1330.03043MaRDI QIDQ890969FDOQ890969

Authors: S. P. Odintsov, Sergey Drobyshevich 

Publication date: 16 November 2015

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

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

zbMATH Keywords

algebraic semanticsnegation as modalityHeyting-Ockham logicRoutley semantics

Mathematics Subject Classification ID

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

Cited In (13)

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

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)