ZUM VERGLEICH VON HÄRTIGQUANTOR UND RESCHERQUANTOR

DOI10.1002/malq.19810271604zbMath0503.03011OpenAlexW2094098257MaRDI QIDQ3968908

Kurt Hauschild

Publication date: 1981

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

decidabilityRescher quantifierHaertig quantifier

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

LOGICALITY AND MODEL CLASSES ⋮ The Härtig quantifier: a survey