Infinitary propositional normal modal logic
From MaRDI portal
DOI10.1007/BF00370641zbMATH Open0644.03009MaRDI QIDQ1102267FDOQ1102267
Authors: Slavian Radev 
Publication date: 1987
Published in: Studia Logica (Search for Journal in Brave)
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
completenessKripke framesCraig interpolation propertycountable conjunction and disjunctionpropositional normal modal logic
Cites Work
- Title not available (Why is that?)
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- First-order dynamic logic
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- An essay in combinatory dynamic logic
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Axiomatising the logic of computer programming
- PDL with data constants
- Title not available (Why is that?)
Cited In (14)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- Infinitary combinatorics and modal logic
- Remarks on Stable Formulas in Intuitionistic Logic
- Kripke completeness of infinitary predicate multimodal logics
- Modal logic interpretation of Dempster-Shafer theory: An infinite case
- An essay in combinatory dynamic logic
- Infinitary hybrid logic and the Lindelöf property
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the proof theory of infinitary modal logic
- Infinitary S5‐Epistemic Logic
- Some remarks on the proof-theory and the semantics of infinitary modal logic
- An Infinitary Graded Modal Logic (Graded Modalities VI)
- Proof of the law of infinite conjunction using the perfect disjunctive normal form
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)
