Pages that link to "Item:Q1102267"
From MaRDI portal
The following pages link to Infinitary propositional normal modal logic (Q1102267):
Displaying 11 items.
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Modal logic interpretation of Dempster-Shafer theory: An infinite case (Q1809349) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558) (← links)
- (Q3639040) (← links)
- Infinitary S5‐Epistemic Logic (Q4351923) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
- An Infinitary Graded Modal Logic (Graded Modalities VI) (Q4857866) (← links)
- Remarks on Stable Formulas in Intuitionistic Logic (Q5215503) (← links)
- Proof of the law of infinite conjunction using the perfect disjunctive normal form (Q5520634) (← links)