Game Quantification Patterns

DOI10.1007/978-3-540-92701-3_8zbMATH Open1209.03031OpenAlexW1492625947MaRDI QIDQ3601804FDOQ3601804

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• Title not available (Why is that?)
• Game Quantification on Automatic Structures and Hierarchical Model Checking Games
• Algorithms for Game Metrics
• Frequency Distribution of Contextual Patterns in the Game of Go
• Certain Games, Category, and Measure
• Quantifying in extensive games
• 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)