Infinitary propositional normal modal logic

DOI10.1007/BF00370641zbMath0644.03009MaRDI QIDQ1102267

Slavian Radev

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completenessKripke framesCraig interpolation propertycountable conjunction and disjunctionpropositional normal modal logic

Mathematics Subject Classification ID

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

Related Items (4)

Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ On the proof theory of infinitary modal logic ⋮ An essay in combinatory dynamic logic

Cites Work

• Unnamed Item
• Unnamed Item
• An essay in combinatory dynamic logic
• PDL with data constants
• Axiomatising the logic of computer programming
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• First-order dynamic logic
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Infinitary propositional normal modal logic