Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997

MaRDI QIDQ1961607zbMATH OpenFDO

Authors

Publication date 30 January 2000

Published in Applied Logic Series (Search for Journal in Brave)

zbMATH Keywords

ConferenceTemporal logicProceedingsManchester (GB)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27)

Cited in

(5)

• Quantified temporal alethic boulesic doxastic logic
• scientific article; zbMATH DE number 7324611 (Why is no real title available?)
• Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
• scientific article; zbMATH DE number 194496 (Why is no real title available?)
• Planning temporal events using point-interval logic

This page was built for publication: Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997

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