Classical negation and game-theoretical semantics

DOI10.1215/00294527-2798709zbMath1342.03030OpenAlexW1971228698MaRDI QIDQ2258540

Tero Tulenheimo

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

zbMATH Keywords

independence-friendly logichigher-order logicnegationgame-theoretical semantics

Mathematics Subject Classification ID

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