Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997
zbMATH Open0931.00025MaRDI QIDQ1961607FDOQ1961607
Authors:
Publication date: 30 January 2000
Published in: Applied Logic Series (Search for Journal in Brave)
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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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)
