The following pages link to Dario Della Monica (Q266856):
Displaying 33 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) (← links)
- (Q1740652) (redirect page) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts (Q1989336) (← links)
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
- The dark side of interval temporal logic: marking the undecidability border (Q2251125) (← links)
- When are prime formulae characteristic? (Q2422016) (← links)
- On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures (Q2799202) (← links)
- On a Logic for Coalitional Games with Priced-Resource Agents (Q2825419) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← links)
- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation (Q2851934) (← links)
- An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics (Q2870111) (← links)
- The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic (Q2900471) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
- When Are Prime Formulae Characteristic? (Q2946326) (← links)
- Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability (Q2999204) (← links)
- (Q3177929) (← links)
- Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) (← links)
- (Q3384174) (← links)
- (Q3457215) (← links)
- (Q4904145) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- (Q4986512) (← links)
- (Q4992519) (← links)
- (Q4999269) (← links)
- Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification (Q5505583) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Complexity of qualitative timeline-based planning (Q6060102) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
- An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)
- Evaluation of temporal datasets via interval temporal logic model checking (Q6486433) (← links)
