Decidability and the finite model property
From MaRDI portal
Publication:1154458
DOI10.1007/BF00293428zbMath0465.03005OpenAlexW1972560931MaRDI QIDQ1154458
Publication date: 1981
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00293428
Modal logic (including the logic of norms) (03B45) Model theory (03C99) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)
Related Items (9)
Mathematical modal logic: A view of its evolution ⋮ A solution to a problem of Urquhart ⋮ Synonymous logics: a correction ⋮ Pooling modalities and pointwise intersection: axiomatization and decidability ⋮ Effective Finite-Valued Approximations of General Propositional Logics ⋮ Decidability by filtrations for graded normal logics. (Graded modalities. V) ⋮ Logics containing K4. Part II ⋮ A Logical Autobiography ⋮ Modal Logics of Some Hereditarily Irresolvable Spaces
Cites Work
This page was built for publication: Decidability and the finite model property
