scientific article
From MaRDI portal
Publication:2753192
zbMath1014.03006MaRDI QIDQ2753192
Marcelo Finger, M. A. Reynolds, Dov M. Gabbay
Publication date: 29 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automatatemporal databasesplanningactionsbranching timelabelled deductiontemporal execution and programming
Database theory (68P15) Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Time and determinism ⋮ Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models ⋮ Invariant-free clausal temporal resolution ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ Automata and logics over finitely varying functions ⋮ Principles Of Talmudic Logic ⋮ Mechanising first-order temporal resolution ⋮ Decidable fragments of first-order temporal logics ⋮ A theory of hypermodal logics: Mode shifting in modal logic
