Dyck Algebras, Interval Temporal Logic, and Posets of Intervals

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

zbMATH Keywords

Dyck pathHeyting algebratemporal logicposet of intervals

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Combinatorics of partially ordered sets (06A07) Heyting algebras (lattice-theoretic aspects) (06D20) Temporal logic (03B44)

Related Items

A Heyting algebra on Dyck paths of type \(A\) and \(B\)

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