Monadic Logic of Order over Naturals has no Finite Base

DOI10.1093/logcom/12.2.243zbMath1056.03007OpenAlexW2064994844MaRDI QIDQ4542237

Danièle Beauquier, Alexander Rabinovich

Publication date: 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/23d2fe3ad891faafdc374803be6ac21b5674e54c

zbMATH Keywords

temporal logicmonadic logicexpressive equivalence

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44)

Related Items (5)

Future temporal logic needs infinitely many modalities ⋮ Unnamed Item ⋮ On the equational definition of the least prefixed point. ⋮ Arity hierarchy for temporal logics ⋮ \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)

This page was built for publication: Monadic Logic of Order over Naturals has no Finite Base