Pages that link to "Item:Q4508270"
From MaRDI portal
The following pages link to On axiomatising products of Kripke frames (Q4508270):
Displaying 6 items.
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- An extension of Kracht's theorem to generalized Sahlqvist formulas (Q3647298) (← links)
- Complexity of products of modal logics (Q4242586) (← links)
- On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b> (Q4532612) (← links)
- No finite model property for logics of quantified announcements (Q6642571) (← links)
