Logics in computer science. A study on extensions of temporal and strategic logics
From MaRDI portal
Publication:357126
DOI10.2991/978-94-91216-95-4zbMath1308.68009OpenAlexW4247612840MaRDI QIDQ357126
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
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)
This page was built for publication: Logics in computer science. A study on extensions of temporal and strategic logics