Sequent Calculi for the Modal -Calculus over S5
type: Item
instance of: scholarly article
title: Sequent Calculi for the Modal -Calculus over S5
zbMATH Open document ID: 1266.03028
author: Luca Alberucci
publication date: 2010-01-14T00:00:00Z
full work available at URL: exn106.pdf
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 5658000
zbMATH Keywords: modal \(\mu \)-calculus
zbMATH Keywords: modal logic
zbMATH Keywords: proof-theory
zbMATH Keywords: sequent calculus
zbMATH Keywords: completeness
MaRDI profile type: Publication
OpenAlex ID: W2125838990
DOI: 10.1093/LOGCOM/EXN106
published in: Journal Of Logic And Computation
description: scientific article