Path logics with synchronization

MaRDI QIDQ5190790zbMATH OpenFDO

Authors Wolfgang Thomas

Publication date 27 July 2009

zbMATH Keywords

chain logicchain theorydecidabilityinfinite binary treeinfinite two-dimensional gridmonadic second-order logicpath logicpath theorysynchronization between paths

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• Trees over infinite structures and path logics with synchronization
• The decision problem for branching time logic
• The decision problem for some logics for finite words on infinite alphabets
• Finite and Circular Path Models for Branching Time Logics
• Computation tree logic for synchronization properties

Cited in

(2)

• Compositional model checking for multi-properties
• Trees over infinite structures and path logics with synchronization

This page was built for publication: Path logics with synchronization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5190790)