Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997
From MaRDI portal
Publication:1961607
zbMath0931.00025MaRDI QIDQ1961607
No author found.
Publication date: 30 January 2000
Published in: Applied Logic Series (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General topics in the theory of software (68N01)
Related Items (4)
Quantified temporal alethic boulesic doxastic logic ⋮ Unnamed Item ⋮ 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 ⋮ 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
