zbMath1076.03021MaRDI QIDQ5465435
Jan M. Broersen
Publication date: 22 August 2005
zbMATH Keywords
dynamic logic; expressiveness; logic of action; reasoning about action; action complement
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
03B70: Logic in computer science