Work

Cut-elimination for the mu-calculus with one variable

Year: 2012

Type: article

Abstract: We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Omega-rule.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.77.7

Authors: Grigori Mints, Thomas Studer

Institutions: Stanford University, University of Bern

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2142803264

FWCI:

Cites: 11

Cited by: 3

Related to: