Game logic is strong enough for parity games

DOI10.1023/A:1027358927272zbMath1046.03017OpenAlexW152770696MaRDI QIDQ1425188

Dietmar Berwanger

Publication date: 15 March 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1027358927272

zbMATH Keywords

parity gamesmodel checkingKripke framesgame logicalternating hierarchytwo-variable fragment of the modal mu-calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Other applications of logic (03B80) Inductive definability (03D70)

Related Items (7)

Differential Game Logic ⋮ The mu-calculus and Model Checking ⋮ Deciding the unguarded modal -calculus ⋮ The variable hierarchy for the games \(\mu \)-calculus ⋮ Unnamed Item ⋮ Game Quantification Patterns ⋮ A propositional dynamic logic for instantial neighborhood semantics

This page was built for publication: Game logic is strong enough for parity games