scientific article; zbMATH DE number 1318521
From MaRDI portal
Publication:4256653
zbMath0919.03033MaRDI QIDQ4256653
Publication date: 8 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05)
Related Items (5)
On modal mu-calculus and Büchi tree automata ⋮ Deciding the unguarded modal -calculus ⋮ On probabilistic monitorability ⋮ A tableau proof system for a mazurkiewicz trace logic with fixpoints ⋮ On the complexity of the linear-time μ-calculus for Petri Nets
This page was built for publication:
