Modal Fixed Point Logics
type: Item
instance of: scholarly article
zbMATH Open document ID: 1214.03016
DOI: 10.3233/978-1-60750-100-8-129
author: Gerhard Jäger
publication date: 2010-12-13T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 5825964
zbMATH Keywords: proof theory
zbMATH Keywords: inductive definitions
zbMATH Keywords: modal \(\mu\)-calculus
zbMATH Keywords: multi-modal logics for belief, knowledge and common knowledge
zbMATH Keywords: logic of proofs
MaRDI profile type: Publication
full work available at URL: http://dx.doi.org/10.3233/978-1-60750-100-8-129
OpenAlex ID: W2404368132
title: Modal Fixed Point Logics
description: scientific article