scientific article; zbMATH DE number 7437714
From MaRDI portal
Publication:5014447
zbMath1476.68177arXiv1509.03019MaRDI QIDQ5014447
Publication date: 2 December 2021
Full work available at URL: https://arxiv.org/abs/1509.03019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
- Automata for the modal μ-calculus and related results
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- Computing the Rabin Index of a Parity Automaton
- Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata
- Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction
- The modal mu-calculus alternation hierarchy is strict
This page was built for publication:
