Pages that link to "Item:Q4302859"
From MaRDI portal
The following pages link to A propositional modal logic of time intervals (Q4302859):
Displaying 50 items.
- Two-sorted point-interval temporal logics (Q2825405) (← links)
- Dyck algebras, interval temporal logic, and posets of intervals (Q2827488) (← links)
- Complexity hierarchies beyond elementary (Q2828216) (← links)
- Between the Event Calculus and Finite State Temporality (Q2835048) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← links)
- Interval duration logic: expressiveness and decidability (Q2842590) (← links)
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic (Q2864394) (← links)
- Decidability of a hybrid duration calculus (Q2867952) (← links)
- A duration calculus with neighborhood modalities (Q2901191) (← links)
- Back from the future (Q2901197) (← links)
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) (← links)
- Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) (← links)
- A History of Until (Q3185767) (← links)
- The interval representation problem (Q3361921) (← links)
- (Q3384161) (← links)
- No Need Knowing Numerous Neighbours (Q3449630) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- Timing in music and modal temporal logic (Q3630089) (← links)
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic (Q3643268) (← links)
- A Correspondence between Temporal Description Logics (Q3643271) (← links)
- Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
- A Modal Logic for Chopping Intervals (Q3985545) (← links)
- (Q4580322) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- Simple Reasoning with Time-Dependent Propositions (Q4779582) (← links)
- Automated deduction in a graphical temporal logic (Q4868233) (← links)
- Note on a Lemma of Ladkin (Q4870064) (← links)
- An investigation of 'non-intermingling' principles in temporal logic (Q4881300) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)
- (Q5015270) (← links)
- (Q5015271) (← links)
- Temporal Logic of Minkowski Spacetime (Q5027245) (← links)
- (Q5028481) (← links)
- Extracting interval temporal logic rules: a first approach (Q5079773) (← links)
- Computational complexity of a core fragment of Halpern-Shoham logic (Q5079792) (← links)
- (Q5109523) (← links)
- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic (Q5224503) (← links)
- A New Modal Approach to the Logic of Intervals (Q5432670) (← links)
- Temporal Traveling Salesman Problem – in a Logic- and Graph Theory-Based Depiction (Q5881167) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
- Temporal agent programs (Q5940961) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
- Monitoring first-order interval logic (Q6041276) (← links)