Cut-elimination for the mu-calculus with one variable

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Conference object , Other literature type 14 Feb 2012Embargo end date: 01 Jan 2012 English Publisher:Open Publishing AssociationJournal:Electronic Proceedings in Theoretical Computer Science, volume 77, pages 47-54 (eissn: 2075-2180,

Copyright policy )

Authors: Grigori Mints; Thomas Studer;

doi: 10.4204/eptcs.77.7 , 10.48550/arxiv.1202.3501

arXiv: 1202.3501

Cut-elimination for the mu-calculus with one variable

- Summary
- Subjects
- Metrics

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.

In Proceedings FICS 2012, arXiv:1202.3174

Related Organizations

Stanford University
United States
University of Bern
Switzerland

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Electronic computers. Computer science, QA1-939, QA75.5-76.95, Mathematics, Logic in Computer Science (cs.LO)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	4
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

4

Average

Green

gold

Fields of Science (3) View all

Fields of Science