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)

Review text

The author generalizes his method of proving the completeness theorem for logics with modal operators which describe truth of the set \(\{\square^ n \varphi\mid n\in\omega\}\) for a statement \(\varphi\). There are applications to various logics: dynamic logic, knowledge logic for many persons etc.

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

(23)

• 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
• A complete proof system for HyperLTL
• 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)