Modified neighborhood semantics for Kaminski logic

MaRDI QIDQ1406363zbMATH OpenFDO

Authors Aleksandr D. Yashin

Publication date 4 September 2003

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

finite approximabilityintuitionistic logic of expressionsKaminski logicmodalized tense operatorneighborhood semantics

Mathematics Subject Classification ID

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

Review text

The author considers Kaminski logic (Kam), a calculus obtained from Int (the intuitionistic logic of expressions) supplemented by four axioms: (1) \( p\to \varphi(p)\), (2) \( \varphi(p)\to \neg \neg p\), (3) \( \varphi(p\to q)\to (\varphi(p)\to \varphi(q))\), (4) \( \varphi\varphi(p)\to \varphi(p)\) [see \textit{D. M. Gabbay}, Stud. Log. 36, 127-139 (1977; Zbl 0363.02026)]. The author proves the finite approximability of Kam.

Recommendations

• A note concerning the intuitionistic modal logic \({\text{\textbf{IMK}}}_k\)
• Constructive modal logics. I
• scientific article; zbMATH DE number 3893171
• scientific article; zbMATH DE number 1303434
• Approximations of modal logics: K and beyond

Cited in

(1)

• NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS

This page was built for publication: Modified neighborhood semantics for Kaminski logic

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