Open AccessA sequent calculus with labels for Public Announcement Logic
Author(s) -
Philippe Balbiani,
Vincent Demange,
Didier Galmiche
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - sequent , sequent calculus , cut elimination theorem , natural deduction , computer science , calculus (dental) , proof calculus , mathematics , programming language , mathematical proof , medicine , geometry , dentistry