On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic

DOI10.1007/BF01049411zbMath0840.03005MaRDI QIDQ1909605

Natasha Alechina

Publication date: 17 March 1996

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

decidabilitygeneralized quantifierrestricted quantificationanalytic tableaux

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)

Related Items (2)

Interpolation for a sequent calculus of generalized quantifiers ⋮ Modal languages and bounded fragments of predicate logic

Cites Work

• Unnamed Item
• Unnamed Item
• Natural deduction and arbitrary objects
• Hybrid languages
• Correspondence and Completeness for Generalized Quantifiers
• The axiomatization of randomness
• Generalized quantification as substructural logic

This page was built for publication: On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic