Modified neighborhood semantics for Kaminski logic

zbMATH Open1025.03016MaRDI QIDQ1406363FDOQ1406363

Aleksandr D. Yashin

Publication date: 4 September 2003

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

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

   Recommendations

• A note concerning the intuitionistic modal logic \({\text{\textbf{IMK}}}_k\) 👍 👎
• Constructive modal logics. I 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Approximations of modal logics: \(\mathbf K\) and beyond 👍 👎

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)