An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking

From MaRDI portal
Publication:2901208

DOI10.3166/jancl.21.93-131zbMath1242.68161OpenAlexW2068331423MaRDI QIDQ2901208

Catalin Dima, Constantin Enea, Dimitar P. Guelev

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.21.93-131



Related Items


Uses Software


Cites Work