Dyck algebras, interval temporal logic, and posets of intervals
From MaRDI portal
Publication:2827488
DOI10.1137/15M1016904MaRDI QIDQ2827488FDOQ2827488
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
Exact enumeration problems, generating functions (05A15) Combinatorics of partially ordered sets (06A07) Temporal logic (03B44) Heyting algebras (lattice-theoretic aspects) (06D20)
Cites Work
- Maintaining knowledge about temporal intervals
- A propositional modal logic of time intervals
- Actions and Events in Interval Temporal Logic
- Title not available (Why is that?)
- The Undecidability of the Logic of Subintervals
- Projective and injective distributive lattices
- Title not available (Why is that?)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
- A Road Map of Interval Temporal Logics and Duration Calculi
- Dyck path enumeration
- Modal companions of intermediate propositional logics
- Title not available (Why is that?)
- Skew quasisymmetric Schur functions and noncommutative Schur functions
- Lattices of lattice paths
- Title not available (Why is that?)
- Lattices of paths: representation theory and valutions
- Interval MV-algebras and generalizations.
- Enumeration of chains and saturated chains in Dyck lattices.
- Enumeration of edges in some lattices of paths
- Structure of the Loday-Ronco Hopf algebra of trees.
- Combinatorial Structure of the Faces of then-Cube
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Heyting algebra on Dyck paths of type \(A\) and \(B\)
- Logic on the \(n\)-cube
Cited In (3)
This page was built for publication: Dyck algebras, interval temporal logic, and posets of intervals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2827488)
