Expressiveness for Highly Nested Expressions in Linear Temporal Logic

DOI10.1093/LOGCOM/4.3.263MaRDI QIDQ4304494zbMATH OpenOpenAlexFDO

Authors William P. R. Mitchell

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

zbMATH Keywords

alwaysmodalitiesnextsometimestemporal logicuntil

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 2086407
• Nesting until and since in linear temporal logic
• scientific article; zbMATH DE number 1948168
• scientific article; zbMATH DE number 4119616
• Expressiveness of Metric modalities for continuous time

Cited in

(4)

• Nested expressions in logic programs
• scientific article; zbMATH DE number 1948168 (Why is no real title available?)
• scientific article; zbMATH DE number 2086407 (Why is no real title available?)
• Nesting until and since in linear temporal logic

This page was built for publication: Expressiveness for Highly Nested Expressions in Linear Temporal Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4304494)