A Compositional Game Semantics for Multi−Agent Logics of Partial Information

A Compositional Game Semantics for Multi−Agent Logics of Partial Information

Bibliografske podrobnosti
Glavni avtor:	Abramsky, S
Format:	Conference item
Izdano:	Amsterdam University Press 2007

Podobne knjige/članki

Semantics of Interaction: an introduction to Game Semantics
od: Abramsky, S
Izdano: (1997)

Observational Logic and Process Semantics (Abstract)
od: Abramsky, S
Izdano: (1989)

Game Semantics
od: Abramsky, S, et al.
Izdano: (1999)

Quantales‚ Observational Logic and Process Semantics
od: Abramsky, S, et al.
Izdano: (1993)

From CSP to Game Semantics
od: Abramsky, S
Izdano: (2010)

Games in the Semantics of Programming Languages
od: Abramsky, S
Izdano: (1997)

Game Semantics for Programming Languages
od: Abramsky, S
Izdano: (1997)

Sequentiality vs. concurrency in games and logic
od: Abramsky, S
Izdano: (2003)

Applying Game Semantics to Compositional Software Modelling and verification
od: Abramsky, S, et al.
Izdano: (2004)

Algorithmic Game Semantics: A Tutorial Introduction
od: Abramsky, S
Izdano: (2001)

Game Semantics for Access Control
od: Abramsky, S, et al.
Izdano: (2009)

A Game semantics for Generic Polymorphism
od: Abramsky, S, et al.
Izdano: (2003)

A Game Semantics for Generic Polymorphism
od: Abramsky, S, et al.
Izdano: (2005)

Game semantics for dependent types
od: Vákár, M, et al.
Izdano: (2018)

Games and Full Completeness for Multiplicative Linear Logic
od: Abramsky, S, et al.
Izdano: (1994)

Games and Full Completeness for Multiplicative Linear Logic
od: Abramsky, S, et al.
Izdano: (1992)

Game semantics for first-order logic
od: Olivier Laurent
Izdano: (2010-10-01)

Concurrent logic games on partial orders
od: Gutierrez, J
Izdano: (2011)

Diversity of Logical Agents in Games
od: Johan van Benthem, et al.
Izdano: (2004-10-01)

A fully abstract game semantics for general references
od: Abramsky, S, et al.
Izdano: (1998)

Algorithmic Game Semantics and Component−Based Verification
od: Abramsky, S, et al.
Izdano: (2003)

Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
od: Abramsky, S, et al.
Izdano: (1997)

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
od: Bradfield, J, et al.
Izdano: (2015)

Model-checking games for fixpoint logics with partial order models
od: Gutierrez, J, et al.
Izdano: (2010)

Model-checking games for fixpoint logics with partial order models
od: Gutierrez, J, et al.
Izdano: (2009)

Model-checking games for fixpoint logics with partial order models
od: Gutierrez, J, et al.
Izdano: (2011)

Imperfect information in logic and concurrent games
od: Clairambault, P, et al.
Izdano: (2013)

Whither semantics?
od: Abramsky, S
Izdano: (2019)

Partially observable game-theoretic agent programming in Golog
od: Finzi, A, et al.
Izdano: (2020)

Computational Interpretations of Linear logic
od: Abramsky, S
Izdano: (1993)

Domain Theory in Logical Form
od: Abramsky, S
Izdano: (1987)

Domain Theory in Logical Form
od: Abramsky, S
Izdano: (1991)

Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability
od: K. V. Grekovich, et al.
Izdano: (2025-03-01)

Semantic Foundations for Applicative Multiprogramming
od: Abramsky, S
Izdano: (1983)

Socially Responsive‚ Environmentally Friendly Logic
od: Abramsky, S
Izdano: (2006)

Domain Theory and the Logic of Observable Properties
od: Abramsky, S
Izdano: (1987)

Logic and categories as tools for building theories
od: Abramsky, S
Izdano: (2010)

A Categorical Quantum Logic
od: Abramsky, S, et al.
Izdano: (2006)

A Categorical Quantum Logic
od: Abramsky, S, et al.
Izdano: (2006)

A Categorical Quantum Logic
od: Abramsky, S, et al.
Izdano: (2004)