Logics and decidability for labelled pre- and partially ordered Kripke structures

DOI10.1016/0020-0190(94)00065-4zbMath0814.03023OpenAlexW2068656894MaRDI QIDQ1328764

Antonia Sinachopoulos

Publication date: 3 August 1994

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)00065-4

zbMATH Keywords

completenessdecidabilityKripke semanticstiling problemlabelled Kripke structurepropositional temporal logicstrace system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Cites Work

• On undecidability of propositional temporal logics on trace systems
• Modal logics with linear alternative relations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logics and decidability for labelled pre- and partially ordered Kripke structures