Finite model property for negative modalities

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

Sergey Drobyshevich, S. P. Odintsov

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)

Cited In (8)

• Double Negation Operator in Logic N ∗
• On Displaying Negative Modalities
• Routley star and hyperintensionality
• Normal companions of intuitionistic modal logics
• The Došen square under construction: a tale of four modalities
• Some modal operators over intuitionistic logic
• On classical behavior of intuitionistic modalities
• The finite model property in tense logic

   Recommendations

• Finite model property for an intuitionistic modal logic 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎
• 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* 👍 👎

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)