Complete Game Logic with Sabotage

arXiv2404.09873MaRDI QIDQ6530658FDOQ6530658

Authors: Noah Abou El Wafa, André Platzer 

Mathematics Subject Classification ID

2-person games (91A05) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Dynamic games (91A25) Games involving topology, set theory, or logic (91A44) Logic in computer science (03B70)

This page was built for publication: Complete Game Logic with Sabotage

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