Finite approximability of the I^ calculus and the existence of an extension having no model

DOI10.1007/BF01163282MaRDI QIDQ1163537zbMATH OpenFDO

Authors Alexei Y. Muravitsky

Publication date 1981

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01163282

zbMATH Keywords

finite partially ordered sets as Kripke framesfinitely axiomatizable calculusintuitionistic connectivesmodal connective

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Cited in

(4)

• Admissible rules for six intuitionistic modal logics
• Irreflexive modality as a new logical connective in the Dummett logic
• Constructive modalities with provability smack
• Irreflexive modality, the Dummett logic, and continual chains

This page was built for publication: Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model

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