The characterization of monadic logic

DOI10.2307/2273046zbMath0275.02015OpenAlexW2090019996MaRDI QIDQ5183468

Leslie H. Tharp

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273046

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Related Items (5)

A logical and ontological framework for compositional concepts of objects and properties ⋮ Model theory of monadic predicate logic with the infinity quantifier ⋮ Maximale monadische Logiken ⋮ MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ Continuity and elementary logic

Cites Work

• Solvable cases of the decision problem
• Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität

This page was built for publication: The characterization of monadic logic