Monodic temporal logic with quantified propositional variables
From MaRDI portal
Publication:2893321
DOI10.1093/logcom/exr004zbMath1262.03033OpenAlexW2155056973MaRDI QIDQ2893321
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
decidabilitypropositional quantificationrecursive enumerabilityfirst-order linear temporal logicgrammar operatorsmonodic temporal logicquasimodels
Decidability of theories and sets of sentences (03B25) Applications of computability and recursion theory (03D80) Temporal logic (03B44)
This page was built for publication: Monodic temporal logic with quantified propositional variables