Classical negation and game-theoretical semantics
From MaRDI portal
Publication:2258540
DOI10.1215/00294527-2798709zbMath1342.03030OpenAlexW1971228698MaRDI QIDQ2258540
Publication date: 26 February 2015
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1415382952
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Game Theoretical Semantics for Paraconsistent Logics ⋮ Game theoretical semantics for some non-classical logics
Cites Work
- Unnamed Item
- A remark on Henkin sentences and their contraries
- A remark on negation in dependence logic
- On the formal semantics of IF-like logics
- Independent choices and the interpretation of IF logic
- On the Expressive Power of IF-Logic with Classical Negation
- Equivalence and quantifier rules for logic with imperfect information
- Compositional semantics for a language of imperfect information
- Finite Partially‐Ordered Quantifiers
- Finite partially-ordered quantification
- Team Logic and Second-Order Logic
This page was built for publication: Classical negation and game-theoretical semantics