A model existence theorem in infinitary propositional modal logic

DOI10.1007/BF01048686zbMath0811.03011MaRDI QIDQ1332142

Krister Segerberg

Publication date: 1 May 1995

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicrelational semanticsdynamic logiccompleteness theoremknowledge logic

Mathematics Subject Classification ID

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

Related Items

Substantive assumptions in interaction: a logical perspective, Local properties in modal logic, An approach to infinitary temporal proof theory, Specifying coalgebras with modal logic, From modal discourse to possible worlds, Strong completeness and limited canonicity for PDL, Erratum to: ``Strong completeness and limited canonicity for PDL, PDL with intersection of programs: a complete axiomatization, Common belief in monotonic epistemic logic, Game logic and its applications. I, Logics with Probability Operators

Cites Work

• Axiomatising the logic of computer programming
• First-order dynamic logic
• A completeness proof for an infinitary tense-logic
• Logics containing K4. Part I
• Unnamed Item
• Unnamed Item