Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model

DOI10.1007/BF01163282zbMath0484.03009MaRDI QIDQ1163537

A. Yu. Muravitskij

Publication date: 1981

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

intuitionistic connectivesfinite partially ordered sets as Kripke framesfinitely axiomatizable calculusmodal connective

Mathematics Subject Classification ID

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

Related Items (4)

Admissible rules for six intuitionistic modal logics ⋮ Irreflexive modality as a new logical connective in the Dummett logic ⋮ Irreflexive modality, the Dummett logic, and continual chains ⋮ Constructive Modalities with Provability Smack

Cites Work

• Unnamed Item

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