Decidability with Respect to Härtig Quantifier and Rescher Quantifier

DOI10.1002/MALQ.19810273604zbMath0503.03012OpenAlexW2170779139MaRDI QIDQ3968909

Martin Weese

Publication date: 1981

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19810273604

zbMATH Keywords

decidabilityRescher quantifierHaertig quantifiercomparative expressivity

Mathematics Subject Classification ID

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

Related Items (1)

The Härtig quantifier: a survey

This page was built for publication: Decidability with Respect to Härtig Quantifier and Rescher Quantifier