Dyck algebras, interval temporal logic, and posets of intervals

DOI10.1137/15M1016904MaRDI QIDQ2827488zbMATH OpenFDO

Authors Luca Ferrari

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 pathtemporal logicHeyting algebraposet of intervals

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Combinatorics of partially ordered sets (06A07) Temporal logic (03B44) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• A Heyting algebra on Dyck paths of type A and B
• scientific article; zbMATH DE number 2087347
• On Heyting algebras and dual BCK-algebras
• Temporal algebra
• scientific article; zbMATH DE number 1374605

Cites work

• scientific article; zbMATH DE number 3513846 (Why is no real title available?)
• scientific article; zbMATH DE number 1182846 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 2196602 (Why is no real title available?)
• scientific article; zbMATH DE number 3420754 (Why is no real title available?)
• A Heyting algebra on Dyck paths of type A and B
• A Road Map of Interval Temporal Logics and Duration Calculi
• A propositional modal logic of time intervals
• Actions and Events in Interval Temporal Logic
• Combinatorial Structure of the Faces of then-Cube
• Dyck path enumeration
• Enumeration of chains and saturated chains in Dyck lattices.
• Enumeration of edges in some lattices of paths
• Interval MV-algebras and generalizations.
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• Lattices of lattice paths
• Lattices of paths: representation theory and valutions
• Logic on the \(n\)-cube
• Maintaining knowledge about temporal intervals
• Modal companions of intermediate propositional logics
• Projective and injective distributive lattices
• Skew quasisymmetric Schur functions and noncommutative Schur functions
• Structure of the Loday-Ronco Hopf algebra of trees.
• The topology of restricted partition posets
• The undecidability of the logic of subintervals

Cited in

(3)

• Dynamic contact algebras and quantifier-free logics for space and time
• A Heyting algebra on Dyck paths of type A and B
• Dyck algebras, interval temporal logic and posets of intervals

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)