Publication:4449213
From MaRDI portal
zbMath1039.03023MaRDI QIDQ4449213
Moshe Y. Vardi, Orna Kupferman
Publication date: 8 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190697.htm
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)