The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics

DOI10.2977/PRIMS/1195181417zbMath0596.03012OpenAlexW2005725580MaRDI QIDQ1078165

Michiro Kondo

Publication date: 1984

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195181417

zbMATH Keywords

intuitionistic logicnon-normal modal logiccombined semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Intervals and tenses
• From worlds to possibilities
• Interval semantics for tense logic: Some remarks
• A simplified semantics for modal logic
• Decidability results in non-classical logics
• The completeness of monotonic modal logics
• On the strong semantical completeness of the intuitionistic predicate calculus

This page was built for publication: The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics