On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
type: Item
instance of: scholarly article
title: On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
zbMATH Open document ID: 1007.03032
author: Marino Miculan
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03D70
zbMATH DE Number: 1853151
zbMATH Keywords: natural deduction proof system
zbMATH Keywords: propositional modal \(\mu\)-calculus
zbMATH Keywords: calculus of inductive constructions
zbMATH Keywords: context-sensitive grammars
zbMATH Keywords: Coq
zbMATH Keywords: computer-aided proof environment
describes a project that uses: Coq
describes a project that uses: ALF
MaRDI profile type: Publication
full work available at URL: inco.2000.2902
OpenAlex ID: W1972691992
cites work: Simple consequence relations
cites work: Using typed lambda calculus to implement formal systems on a machine
cites work: Encoding modal logics in logical frameworks
cites work: A Constructive Presentation for the Modal Connective of Necessity (□)
cites work: Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
cites work: Q3024831
cites work: Q5610986
cites work: A framework for defining logics
cites work: A natural deduction approach to dynamic logic
cites work: \(\pi\)-calculus in (Co)inductive-type theory
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q3999860
cites work: Q4281483
cites work: Logical frameworks
cites work: Local model checking in the modal mu-calculus
DOI: 10.1006/INCO.2000.2902
Recommended article: On the proof theory of the modal mu-calculus
Recommended article: On the expressivity of the modal mu-calculus
Recommended article: Justifying induction on modal -formulae
Recommended article: Q3002404
Recommended article: Q4411834
Recommended article: On modal \(\mu\)-calculus with explicit interpolants
Recommended article: Modal logics and mu-calculi: An introduction
Recommended article: Q4525272
Recommended article: On modal \(\mu \)-calculus and Gödel-Löb logic
Recommended article: Q4938644
description: scientific article; zbMATH DE number 1853151