scientific article; zbMATH DE number 2064466
From MaRDI portal
Publication:4461957
zbMath1041.03024MaRDI QIDQ4461957
Publication date: 18 May 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)
Related Items (2)
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ Inference Rules in Multi-agents’ Temporal Logics
This page was built for publication:
