Dyck Algebras, Interval Temporal Logic, and Posets of Intervals
From MaRDI portal
Publication:2827488
DOI10.1137/15M1016904MaRDI QIDQ2827488
No author found.
Publication date: 20 October 2016
Published in: SIAM Journal on Discrete Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1503.04991
Combinatorics in computer science (68R05) Combinatorics of partially ordered sets (06A07) Heyting algebras (lattice-theoretic aspects) (06D20) Temporal logic (03B44)
Related Items
Cites Work
- Maintaining knowledge about temporal intervals
- Lattices of paths: representation theory and valutions
- Interval MV-algebras and generalizations.
- Enumeration of chains and saturated chains in Dyck lattices.
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
- Skew quasisymmetric Schur functions and noncommutative Schur functions
- Modal companions of intermediate propositional logics
- Dyck path enumeration
- Structure of the Loday-Ronco Hopf algebra of trees.
- A Heyting algebra on Dyck paths of type \(A\) and \(B\)
- Projective and injective distributive lattices
- Lattices of lattice paths
- Logic on then-cube
- Combinatorial Structure of the Faces of then-Cube
- A propositional modal logic of time intervals
- Actions and Events in Interval Temporal Logic
- Enumeration of edges in some lattices of paths
- The Undecidability of the Logic of Subintervals
- A Road Map of Interval Temporal Logics and Duration Calculi
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item