A structured temporal logic language: XYZ/SE
From MaRDI portal
Publication:2277863
DOI10.1007/BF02943402zbMath0725.68071OpenAlexW1996668871MaRDI QIDQ2277863
Publication date: 1991
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02943402
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Logic programming (68N17)
Related Items (1)
Cites Work
This page was built for publication: A structured temporal logic language: XYZ/SE