Pure Logic with Branched Quantifiers

DOI10.1002/MALQ.19890350106zbMath0651.03028OpenAlexW2023930298MaRDI QIDQ3795664

Marcin Mostowski

Publication date: 1989

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.19890350106

zbMATH Keywords

Henkin quantifierdecidabilityunprovabilitybranched quantifiers

Mathematics Subject Classification ID

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

Related Items (2)

Degrees of logics with Henkin quantifiers in poor vocabularies ⋮ Decidability problems in languages with Henkin quantifiers

This page was built for publication: Pure Logic with Branched Quantifiers