scientific article; zbMATH DE number 1931665

MaRDI QIDQ4708923zbMATH OpenFDO

Authors Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna

Publication date 20 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240259.htm

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1696444
• Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
• On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
• Interval temporal logics over finite linear orders: the complete picture
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity

Cited in

(13)

• Fuzzy Halpern and Shoham's interval temporal logics
• A survey on temporal logics for specifying and verifying real-time systems
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• scientific article; zbMATH DE number 6863862 (Why is no real title available?)
• scientific article; zbMATH DE number 1696444 (Why is no real title available?)
• On coarser interval temporal logics
• Developing bounded reasoning
• An optimal decision procedure for right propositional neighborhood logic
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• Definability and decidability of binary predicates for time granularity
• Neural-symbolic temporal decision trees for multivariate time series classification
• Decision tree learning with spatial modal logics
• Complete and terminating tableau for the logic of proper subinterval structures over dense orderings

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708923)