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):
Displayed 3 items.
The following pages link to On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II (Q2550380):
Displayed 3 items.