Pages that link to "Item:Q3305558"
From MaRDI portal
The following pages link to Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558):
Displayed 5 items.
- Duality for \(\kappa\)-additive complete atomic modal algebras (Q829760) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics (Q6094145) (← links)
- The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions (Q6156417) (← links)