Pages that link to "Item:Q1332142"
From MaRDI portal
The following pages link to A model existence theorem in infinitary propositional modal logic (Q1332142):
Displayed 6 items.
- Strong completeness and limited canonicity for PDL (Q1006490) (← links)
- Common belief in monotonic epistemic logic (Q1278568) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- From modal discourse to possible worlds (Q2500773) (← links)
- Game logic and its applications. I (Q2563453) (← links)
- Specifying coalgebras with modal logic (Q5941162) (← links)