The alternation hierarchy of the -calculus over weakly transitive frames

DOI10.1007/978-3-031-15298-6_13OpenAlexW4297809221MaRDI QIDQ6160744FDOQ6160744

Authors: Kazuyuki Tanaka 

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15298-6_13

Recommendations

• On the \(\mu \)-calculus over transitive and finite transitive frames
• The alternation hierarchy for the theory of \(\mu\)-lattices
• scientific article; zbMATH DE number 2102739
• scientific article; zbMATH DE number 1696780
• The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems
• A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus
• Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)
• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
• Frame Definability for Classes of Trees in the μ-calculus

zbMATH Keywords

epistemic logictopological modal logic\( \mu \)-calculusfragments of the alternation hierarchy

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Modal logic
• Automata, logics, and infinite games. A guide to current research
• The algebra of topology
• Intuitionistic logic and modality via topology
• A logic for ignorance
• The modal mu-calculus alternation hierarchy is strict
• The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems
• Title not available (Why is that?)
• Theμ-calculus alternation-depth hierarchy is strict on binary trees
• On modal  -calculus over reflexive symmetric graphs
• On the \(\mu \)-calculus over transitive and finite transitive frames
• On modal \(\mu \)-calculus and Gödel-Löb logic
• Title not available (Why is that?)
• The mu-calculus and Model Checking
• Title not available (Why is that?)
• CONTINGENCY AND KNOWING WHETHER
• A logic for disjunctive ignorance
• Ignorance of ignorance
• Title not available (Why is that?)
• We don't know we don't know: asserting ignorance

Cited In (2)

• Frame Definability for Classes of Trees in the μ-calculus
• On the \(\mu \)-calculus over transitive and finite transitive frames

This page was built for publication: The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160744)