A remark on Henkin sentences and their contraries

DOI10.1305/NDJFL/1091030856zbMATH Open1071.03023OpenAlexW2061271212MaRDI QIDQ558741FDOQ558741

Authors John P. Burgess

Publication date 13 July 2005

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1091030856

zbMATH Keywords

branching quantifiersHenkin sentences

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• scientific article; zbMATH DE number 1086489
• On the ontology of branching quantifiers
• Publication:3211286
• Computational complexity of the semantics of some natural language constructions
• The Henkin sentence

Cites work

• scientific article; zbMATH DE number 1361517 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• Finite Partially‐Ordered Quantifiers
• Finite partially-ordered quantification

Cited in

(7)

• Supervenience, dependence, disjunction
• Classical negation and game-theoretical semantics
• Epistemic operators in dependence logic
• Explicit Henkin sentences
• Thompson transformations for IF-logic
• Structural completeness in propositional logics of dependence
• Equilibrium semantics of languages of imperfect information

This page was built for publication: A remark on Henkin sentences and their contraries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558741)