Pages that link to "Item:Q5575528"
From MaRDI portal
The following pages link to A normal modal calculus between T and S4 without the finite model property (Q5575528):
Displaying 12 items.
- An axiomatization of the modal theory of the veiled recession frame (Q599806) (← links)
- 3-SAT = SAT for a class of normal modal logics (Q673009) (← links)
- Kripke incomplete logics containing KTB (Q995674) (← links)
- Critical notice to: D. M. Gabbay's ''Investigations in modal and tense logics with applications to problems in philosophy and linguistics'' (Q1139033) (← links)
- Modal logics with no minimal proper extensions (Q1139579) (← links)
- Nonfinitely approximable intuitionistic modal logics (Q1150602) (← links)
- Some kinds of modal completeness (Q1151886) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p (Q1868335) (← links)
- Syntactic refutations against finite models in modal logic (Q1903134) (← links)
- On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II (Q2550380) (← links)
