Temporal Logic with Preferences and Reasoning About Games

DOI10.1007/978-94-007-0080-2_14zbMath1319.03039OpenAlexW96472362MaRDI QIDQ5246118

G. S. Venkatesh

Publication date: 17 April 2015

Published in: Proof, Computation and Agency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0080-2_14

zbMATH Keywords

propositional temporal logicstrategic form games

Mathematics Subject Classification ID

Games in extensive form (91A18) Multistage and repeated games (91A20) Temporal logic (03B44)

This page was built for publication: Temporal Logic with Preferences and Reasoning About Games