Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Finite model property for negative modalities

From MaRDI portal
Publication:890969
Jump to:navigation, search

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)


zbMATH Keywords

algebraic semanticsnegation as modalityHeyting-Ockham logicRoutley semantics


Mathematics Subject Classification ID

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


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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:890969&oldid=12846982"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 30 January 2024, at 16:06.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki