Game Quantification Patterns

DOI10.1007/978-3-540-92701-3_8MaRDI QIDQ3601804zbMATH OpenOpenAlexFDO

Authors Dietmar Berwanger, Sophie Pinchinat

Publication date 12 February 2009

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-92701-3_8

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic with extra quantifiers and operators (03C80) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• Quantifying in extensive games
• Temporal logics for games
• Game logic -- an overview
• Model checking games for the quantitative \(\mu\)-calculus
• Model checking games for the quantitative \(\mu \)-calculus

Cites work

• scientific article; zbMATH DE number 1670498 (Why is no real title available?)
• scientific article; zbMATH DE number 3880483 (Why is no real title available?)
• Alternating-time temporal logic
• Automata, logics, and infinite games. A guide to current research
• Complete axiomatization and decidability of alternating-time temporal logic
• Cores of effectivity functions and implementation theory
• Game logic is strong enough for parity games
• Modal frame correspondences and fixed-points
• One-unambiguous regular languages
• Propositional dynamic logic of regular programs
• Temporal verification of reactive systems: response
• The variable hierarchy of the \(\mu\)-calculus is strict

Cited in

(7)

• Certain Games, Category, and Measure
• Game Quantification on Automatic Structures and Hierarchical Model Checking Games
• scientific article; zbMATH DE number 5542577 (Why is no real title available?)
• Frequency Distribution of Contextual Patterns in the Game of Go
• Quantifying in extensive games
• Algorithms for Game Metrics
• Differential game logic

This page was built for publication: Game Quantification Patterns

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