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

zbMATH Keywords

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

Mathematics Subject Classification ID

Logic in computer science (03B70)

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

Cites Work

• scientific article; zbMATH DE number 5898613 (Why is no real title available?)
• scientific article; zbMATH DE number 3616386 (Why is no real title available?)
• scientific article; zbMATH DE number 1136070 (Why is no real title available?)
• scientific article; zbMATH DE number 2102739 (Why is no real title available?)
• A logic for disjunctive ignorance
• A logic for ignorance
• Automata, logics, and infinite games. A guide to current research
• Contingency and knowing whether
• Ignorance of ignorance
• Intuitionistic logic and modality via topology
• Modal logic
• On modal \(\mu \)-calculus and Gödel-Löb logic
• On modal  -calculus over reflexive symmetric graphs
• On the \(\mu \)-calculus over transitive and finite transitive frames
• The algebra of topology
• The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems
• The modal mu-calculus alternation hierarchy is strict
• The mu-calculus and Model Checking
• Theμ-calculus alternation-depth hierarchy is strict on binary trees
• 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)