scientific article; zbMATH DE number 5046364
From MaRDI portal
Publication:5483011
zbMath1102.03006MaRDI QIDQ5483011
No author found.
Publication date: 15 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (2)
Using temporal logics of knowledge for specification and verification -- a case study ⋮ Temporal Logics of Knowledge and their Applications in Security
This page was built for publication:
