The Ceteris Paribus Structure of Logics of Game Forms

DOI10.1613/JAIR.4666MaRDI QIDQ5253769zbMATH OpenOpenAlexWikidataFDO

Authors Davide Grossi, Emiliano Lorini, François Schwarzentruber

Publication date 28 May 2015

Published in Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.4666

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Game theory (91A99)

Recommendations

• Game theoretical semantics for paraconsistent logics
• Games in algebraic logic: axiomatisations and beyond
• Game theoretical semantics for some non-classical logics
• A game theoretical semantics for a logic of formal inconsistency
• On Game Semantics of the Affine and Intuitionistic Logics
• Game semantics for constructive modal logic
• scientific article; zbMATH DE number 1568775
• Logic and games on automatic structures. Playing with quantifiers and decompositions
• Game-theoretic semantics for non-distributive logics
• scientific article; zbMATH DE number 437512

Cited in

(7)

• A modal logic of supervenience
• A logic for binary classifiers and their explanation
• Relaxing exclusive control in Boolean games
• Syntactic awareness in logical dynamics
• A logic of ``black box classifier systems
• A logic of trust-based beliefs
• Model-checking strategic abilities in information-sharing systems

This page was built for publication: The Ceteris Paribus Structure of Logics of Game Forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5253769)