A model existence theorem in infinitary propositional modal logic

DOI10.1007/BF01048686zbMATH Open0811.03011MaRDI QIDQ1332142FDOQ1332142

Authors: Krister Segerberg 

Publication date: 1 May 1995

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

Recommendations

• Model existence in non-compact modal logic
• scientific article; zbMATH DE number 3869303
• An Infinitary Graded Modal Logic (Graded Modalities VI)
• scientific article

zbMATH Keywords

completeness theoremmodal logicrelational semanticsdynamic logicknowledge logic

Mathematics Subject Classification ID

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

Cites Work

• First-order dynamic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiomatising the logic of computer programming
• Logics containing K4. Part I
• A completeness proof for an infinitary tense-logic

Cited In (18)

• From modal discourse to possible worlds
• Infinitary combinatorics and modal logic
• Finite model property for negative modalities
• Model existence in non-compact modal logic
• Modal formulas true at some point in every model
• On modal logics with existential modality
• Local properties in modal logic
• Common belief in monotonic epistemic logic
• Title not available (Why is that?)
• An approach to infinitary temporal proof theory
• Specifying coalgebras with modal logic
• A consistent prepositional logic without any finite models
• Strong completeness and limited canonicity for PDL
• Erratum to: ``Strong completeness and limited canonicity for PDL
• Logics with Probability Operators
• Game logic and its applications. I
• Substantive assumptions in interaction: a logical perspective
• PDL with intersection of programs: a complete axiomatization

This page was built for publication: A model existence theorem in infinitary propositional modal logic

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