On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part I

Dov M. Gabbay

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Fingerprint

Dive into the research topics of 'On decidable, finitely axiomatizable, modal and tense logics without the finite model property Part I'. Together they form a unique fingerprint.

Keyphrases

Mathematics