Monodic temporal logic with quantified propositional variables

DOI10.1093/LOGCOM/EXR004MaRDI QIDQ2893321zbMATH OpenOpenAlexFDO

Authors Walter Hussak

Publication date 20 June 2012

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://dspace.lboro.ac.uk/2134/14855

zbMATH Keywords

decidabilityfirst-order linear temporal logicgrammar operatorsmonodic temporal logicpropositional quantificationquasimodelsrecursive enumerability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Applications of computability and recursion theory (03D80)

Recommendations

• Decidable fragments of first-order temporal logics
• Axiomatizing the monodic fragment of first-order temporal logic
• Automated Deduction – CADE-20
• Monodic packed fragment with equality is decidable
• Monodic fragments of probabilistic first-order logic

Cited in

(9)

• Decidable cases of first-order temporal logic with functions
• One-variable first-order linear temporal logics with counting
• PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
• On Non-local Propositional and Weak Monodic Quantified CTL*
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
• Monitor Logics for Quantitative Monitor Automata
• Monodic fragments of probabilistic first-order logic
• On the decidability of a fragment of preferential LTL
• A decidable and expressive fragment of many-sorted first-order linear temporal logic

This page was built for publication: Monodic temporal logic with quantified propositional variables

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