Logics in computer science. A study on extensions of temporal and strategic logics

DOI10.2991/978-94-91216-95-4zbMath1308.68009OpenAlexW4247612840MaRDI QIDQ357126

Fabio Mogavero

Publication date: 29 July 2013

Published in: Atlantis Studies in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2991/978-94-91216-95-4

zbMATH Keywords

temporal logicsATLCTLstrategic logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (2)

Expressiveness and succinctness of a logic of robustness ⋮ Reasoning About Substructures and Games

This page was built for publication: Logics in computer science. A study on extensions of temporal and strategic logics