On modal \(\mu \)-calculus and Gödel-Löb logic
type: Item
instance of: scholarly article
title: On modal \(\mu \)-calculus and Gödel-Löb logic
zbMATH Open document ID: 1201.03008
author: Luca Alberucci
author: Alessandro Facchini
published in: Studia Logica
publication date: 2009-05-08T00:00:00Z
full work available at URL: 11225 2009 Article 9170.pdf
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 5552247
zbMATH Keywords: fixpoint
zbMATH Keywords: modal \(\mu \)-calculus
zbMATH Keywords: Gödel-Löb logic
MaRDI profile type: Publication
OpenAlex ID: W2294372906
cites work: The modalμ-calculus hierarchy over restricted classes of transition systems
cites work: Modal frame correspondences and fixed-points
cites work: The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
cites work: Q4397069
cites work: Modal logic
cites work: Modal logics and mu-calculi: An introduction
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q2769443
cites work: An automata theoretic decision procedure for the propositional mu- calculus
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Processes, Terms and Cycles: Steps on the Road to Infinity
cites work: Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
cites work: Alternating tree automata, parity games, and modal \(\mu\)-calculus
DOI: 10.1007/S11225-009-9170-9
description: scientific article; zbMATH DE number 5552247