On coarser interval temporal logics
From MaRDI portal
Publication:2321249
DOI10.1016/j.artint.2018.09.001zbMath1480.03010MaRDI QIDQ2321249
Guido Sciavicco, Pietro Sala, Emilio Muñoz-Velasco, Mercedes Pelegrín, Ionel Eduard Stan
Publication date: 28 August 2019
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11392/2398449
68Q25: Analysis of algorithms and problem complexity
03B45: Modal logic (including the logic of norms)
03B44: Temporal logic
Uses Software