scientific article; zbMATH DE number 1400210
From MaRDI portal
Publication:4939661
zbMath0951.03011MaRDI QIDQ4939661
Frank Wolter, Michael Zakharyashchev
Publication date: 15 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items (6)
Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains
This page was built for publication: