scientific article; zbMATH DE number 1931665
From MaRDI portal
zbMath1013.03013MaRDI QIDQ4708923
Angelo Montanari, Nicola Vitacolonna, Guido Sciavicco
Publication date: 20 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240259.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items
An optimal decision procedure for right propositional neighborhood logic, A survey on temporal logics for specifying and verifying real-time systems, Fuzzy Halpern and Shoham's interval temporal logics, Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions, A new modal logic for reasoning about space: spatial propositional neighborhood logic, Developing bounded reasoning, Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings, On coarser interval temporal logics