Finite model property for negative modalities
From MaRDI portal
Publication:890969
DOI10.17377/semi.2013.10.001zbMath1330.03043MaRDI QIDQ890969
Sergei P. Odintsov, Sergey Drobyshevich
Publication date: 16 November 2015
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Related Items (7)
Routley star and hyperintensionality ⋮ The Došen square under construction: a tale of four modalities ⋮ Normal companions of intuitionistic modal logics ⋮ On classical behavior of intuitionistic modalities ⋮ Double Negation Operator in Logic N ∗ ⋮ On Displaying Negative Modalities ⋮ Some modal operators over intuitionistic logic
This page was built for publication: Finite model property for negative modalities