Pages that link to "Item:Q1102267"
From MaRDI portal
The following pages link to Infinitary propositional normal modal logic (Q1102267):
Displaying 4 items.
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- An essay in combinatory dynamic logic (Q809068) (← 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)
