Expressiveness for Highly Nested Expressions in Linear Temporal Logic
From MaRDI portal
Publication:4304494
DOI10.1093/logcom/4.3.263zbMath0802.03015MaRDI QIDQ4304494
Publication date: 12 December 1994
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/4.3.263
03B45: Modal logic (including the logic of norms)