Monodic packed fragment with equality is decidable

DOI10.1023/A:1021356410579zbMath1011.03008MaRDI QIDQ1863828

I. M. Hodkinson

Publication date: 12 March 2003

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

monadic second-order logicuntilclique-guarded fragmentpredicate temporal logicquasimodelsince

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (9)

Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ First-order temporal verification in practice ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Decidable cases of first-order temporal logic with functions ⋮ Unnamed Item ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Mechanising first-order temporal resolution ⋮ First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment ⋮ Complexity of monodic guarded fragments over linear and real time

This page was built for publication: Monodic packed fragment with equality is decidable