Linear Tense Logics of Increasing Sets

DOI10.1093/LOGCOM/12.4.583MaRDI QIDQ3146302zbMATH OpenOpenAlexFDO

Authors Bernhard Heinemann

Publication date 23 February 2003

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

growthlinear tense logicmodal logics of set spacesmodal logics of timetemporal reasoning

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1696880
• scientific article; zbMATH DE number 1500665
• Temporal reference in linear tense logic
• Times in tense logic
• scientific article; zbMATH DE number 759442

Cited in

(3)

• scientific article; zbMATH DE number 1696880 (Why is no real title available?)
• scientific article; zbMATH DE number 1500665 (Why is no real title available?)
• Tense logics based on posets

This page was built for publication: Linear Tense Logics of Increasing Sets

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