scientific article; zbMATH DE number 5734939

MaRDI QIDQ3574464zbMATH OpenFDO

Authors Samson Abramsky

Publication date 9 July 2010

zbMATH Keywords

branching quantifiersmulti-player games

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) (n)-person games, (n>2) (91A06)

Recommendations

• scientific article; zbMATH DE number 2087691
• Partial logic in a model-theoretic approach. Ehrenfeucht games with incomplete information
• Game theoretical semantics for paraconsistent logics
• Game-theoretic semantics for non-distributive logics
• Modelling incomplete information in Boolean games using possibilistic logic
• Game theoretical semantics for some non-classical logics
• Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
• Model-checking games for logics of imperfect information
• scientific article; zbMATH DE number 5180966

Cited in

(10)

• Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information
• Partially observable game-theoretic agent programming in Golog
• Boolean dependence logic and partially-ordered connectives
• On the use (and abuse) of logic in game theory
• Dynamic logics of imperfect information: from teams and games to transitions
• Game theoretical semantics for some non-classical logics
• scientific article; zbMATH DE number 2087691 (Why is no real title available?)
• Complexity of two-variable dependence logic and IF-logic
• Epistemic Strategies and Games on Concurrent Processes
• A positive information logic for inferential information

This page was built for publication:

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