Modified neighborhood semantics for Kaminski logic

zbMATH Open1025.03016MaRDI QIDQ1406363FDOQ1406363

Authors: Aleksandr D. Yashin 

Publication date: 4 September 2003

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

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: \(\mathbf K\) and beyond

zbMATH Keywords

neighborhood semanticsfinite approximabilityintuitionistic logic of expressionsKaminski logicmodalized tense operator

Mathematics Subject Classification ID

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

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)