One-variable first-order linear temporal logics with counting

DOI10.4230/LIPICS.CSL.2013.348MaRDI QIDQ2958532zbMATH OpenOpenAlexFDO

Authors Christopher Hampson, Agi Kurucz

Publication date 2 February 2017

Full work available at URL https://doi.org/10.4230/lipics.csl.2013.348

zbMATH Keywords

countingdecision proceduresmodal logictemporal logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
• Decidable fragments of first-order temporal logics
• Monodic temporal logic with quantified propositional variables
• Decidability and incompleteness results for first-order temporal logics of linear time
• Monodic fragments of first-order temporal logics: 2000--2001 A.D.

Cited in

(4)

• Decidable fragments of first-order temporal logics
• Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
• Decidable first-order modal logics with counting quantifiers
• Counting Models of Linear-Time Temporal Logic

This page was built for publication: One-variable first-order linear temporal logics with counting

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