Pages that link to "Item:Q2550380"
From MaRDI portal
The following pages link to On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II (Q2550380):
Displaying 4 items.
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Lattices of finitely alternative normal tense logics (Q2062217) (← links)
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property (Q4777279) (← links)
- No finite model property for logics of quantified announcements (Q6642571) (← links)