A remark on Henkin sentences and their contraries

DOI10.1305/NDJFL/1091030856MaRDI QIDQ558741zbMATH OpenOpenAlexFDO

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

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

Cited in

(8)

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

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)