"Converse-PDL with regular inclusion axioms: a framework for MAS logics."

Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas (2011)

Details and statistics

DOI: 10.3166/JANCL.21.61-91

access: closed

type: Journal Article

metadata version: 2020-04-25