Decidability of Some Logics with Free Quantifier Variables

DOI10.1002/MALQ.19810270202MaRDI QIDQ3941387zbMATH OpenOpenAlexFDO

Authors D. A. Anapolitanos, Jouko Väänänen

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Recursively (computably) enumerable sets and degrees (03D25)

Cited in

(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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3941387)