Decidability of Some Logics with Free Quantifier Variables
From MaRDI portal
Publication:3941387
DOI10.1002/MALQ.19810270202zbMath0483.03018OpenAlexW2021850372MaRDI QIDQ3941387
Jouko Väänänen, D. A. Anapolitanos
Publication date: 1981
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19810270202
Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Recursively (computably) enumerable sets and degrees (03D25)
Related Items (2)
On a new semantics for first-order predicate logic ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics
This page was built for publication: Decidability of Some Logics with Free Quantifier Variables