A model existence theorem in infinitary propositional modal logic

DOI10.1007/BF01048686MaRDI QIDQ1332142zbMATH OpenFDO

Authors Krister Segerberg

Publication date 1 May 1995

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

Full work available at URL https://doi.org/10.1007/BF01048686

zbMATH Keywords

completeness theoremdynamic logicknowledge logicmodal logicrelational semantics

Mathematics Subject Classification ID

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

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 DE number 3845547

Cites work

• A completeness proof for an infinitary tense-logic
• Axiomatising the logic of computer programming
• First-order dynamic logic
• scientific article; zbMATH DE number 3869303 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• Logics containing K4. Part I

Cited in

(22)

• Strong completeness and limited canonicity for PDL
• Erratum to: ``Strong completeness and limited canonicity for PDL
• Common belief in monotonic epistemic logic
• Local properties in modal logic
• An approach to infinitary temporal proof theory
• Symmetric contingency logic with unlimitedly many modalities
• Substantive assumptions in interaction: a logical perspective
• From modal discourse to possible worlds
• Game logic and its applications. I
• Infinitary combinatorics and modal logic
• Modal formulas true at some point in every model
• PDL with intersection of programs: a complete axiomatization
• A consistent prepositional logic without any finite models
• Logics with Probability Operators
• On modal logics with existential modality
• scientific article; zbMATH DE number 2236681 (Why is no real title available?)
• Model existence in non-compact modal logic
• Specifying coalgebras with modal logic
• A variant of the lindenbaum lemma for infinitary closure systems
• Modal logics with intersection modality
• Neighbourhood and algebraic models for predicate modal logics with -rules
• Finite model property for negative modalities

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)