scientific article
From MaRDI portal
Publication:2766659
zbMath0986.03025MaRDI QIDQ2766659
Publication date: 17 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)
Related Items (2)
A survey on temporal logics for specifying and verifying real-time systems ⋮ Probabilistic Temporal Logics
This page was built for publication:
