One-variable first-order linear temporal logics with counting

DOI10.4230/LIPIcs.CSL.2013.348zbMath1356.03062OpenAlexW2250084181MaRDI QIDQ2958532

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

modal logiccountingtemporal logicdecision procedures

Mathematics Subject Classification ID

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

Related Items (1)

Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting

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