Infinitary propositional normal modal logic
From MaRDI portal
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
- scientific article; zbMATH DE number 4148058 (Why is no real title available?)
- scientific article; zbMATH DE number 3939323 (Why is no real title available?)
- An essay in combinatory dynamic logic
- Axiomatising the logic of computer programming
- First-order dynamic logic
- 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
(14)- Proof of the law of infinite conjunction using the perfect disjunctive normal form
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- Infinitary combinatorics and modal logic
- Kripke completeness of infinitary predicate multimodal logics
- Remarks on Stable Formulas in Intuitionistic Logic
- Modal logic interpretation of Dempster-Shafer theory: An infinite case
- An essay in combinatory dynamic logic
- Infinitary hybrid logic and the Lindelöf property
- scientific article; zbMATH DE number 3893171 (Why is no real title available?)
- On the proof theory of infinitary modal logic
- scientific article; zbMATH DE number 5622639 (Why is no real title available?)
- Some remarks on the proof-theory and the semantics of infinitary modal logic
- Infinitary S5‐Epistemic Logic
- An Infinitary Graded Modal Logic (Graded Modalities VI)
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)
