A remark on Henkin sentences and their contraries
From MaRDI portal
Publication:558741
DOI10.1305/NDJFL/1091030856zbMath1071.03023OpenAlexW2061271212MaRDI QIDQ558741
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
Related Items (6)
Structural completeness in propositional logics of dependence ⋮ Equilibrium semantics of languages of imperfect information ⋮ Epistemic operators in dependence logic ⋮ Classical negation and game-theoretical semantics ⋮ Thompson transformations for IF-logic ⋮ Supervenience, Dependence, Disjunction
Cites Work
This page was built for publication: A remark on Henkin sentences and their contraries