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

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

zbMATH Keywords

branching quantifiersHenkin sentences

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Cites Work

• Finite Partially‐Ordered Quantifiers
• Finite partially-ordered quantification
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

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

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)