Infinitary propositional normal modal logic

DOI10.1007/BF00370641MaRDI QIDQ1102267zbMATH OpenFDO

Authors Slavian Radev

Publication date 1987

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

completenesscountable conjunction and disjunctionCraig interpolation propertyKripke framespropositional normal modal logic

Mathematics Subject Classification ID

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

Review text

The author introduces a propositional normal modal logic, denoted by \(KL_{\omega_ 1}\), with countable conjunction and disjunction. He gives the Hilbert type formulation of \(KL_{\omega_ 1}\), defines the class of Kripke frames characteristic for this logic (completeness theorem) and proves that \(KL_{\omega_ 1}\) has the Craig interpolation property.

Recommendations

• scientific article; zbMATH DE number 3893171
• Some remarks on the proof-theory and the semantics of infinitary modal logic
• Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\)
• An Infinitary Graded Modal Logic (Graded Modalities VI)
• Kripke completeness of infinitary predicate multimodal logics

Cites work

• An essay in combinatory dynamic logic
• Axiomatising the logic of computer programming
• First-order dynamic logic
• scientific article; zbMATH DE number 4148058 (Why is no real title available?)
• scientific article; zbMATH DE number 3939323 (Why is no real title available?)
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• PDL with data constants
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Cited in

(15)

• Modal logic interpretation of Dempster-Shafer theory: An infinite case
• On the proof theory of infinitary modal logic
• Some remarks on the proof-theory and the semantics of infinitary modal logic
• Infinitary combinatorics and modal logic
• scientific article; zbMATH DE number 5622639 (Why is no real title available?)
• Infinitary S5‐Epistemic Logic
• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• Infinitary hybrid logic and the Lindelöf property
• An Infinitary Graded Modal Logic (Graded Modalities VI)
• scientific article; zbMATH DE number 3893171 (Why is no real title available?)
• Remarks on Stable Formulas in Intuitionistic Logic
• Proof of the law of infinite conjunction using the perfect disjunctive normal form
• Kripke completeness of infinitary predicate multimodal logics
• A modal approach towards substitutions
• An essay in combinatory dynamic logic

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

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