Equality and monodic first-order temporal logic
From MaRDI portal
Publication:1863826
DOI10.1023/A:1021352309671zbMath1011.03007MaRDI QIDQ1863826
Publication date: 12 March 2003
Published in: Studia Logica (Search for Journal in Brave)
recursive enumerabilityMinski machinesfirst-order temporal logiclogic with equalitymonadic two-variable fragment
Related Items (12)
Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Parameterized verification of leader/follower systems via first-order temporal logic ⋮ On the freeze quantifier in Constraint LTL: Decidability and complexity ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Two-Variable Separation Logic and Its Inner Circle ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Decidable cases of first-order temporal logic with functions ⋮ The monodic fragment of propositional term modal logic ⋮ Mechanising first-order temporal resolution ⋮ Linear-time temporal logics with Presburger constraints: an overview ★ ⋮ The serializability problem for a temporal logic of transaction queries ⋮ Complexity of monodic guarded fragments over linear and real time
This page was built for publication: Equality and monodic first-order temporal logic