3 search results - page 1 / 1 » A Contraction-free and Cut-free Sequent Calculus for Proposi... |
74
Voted
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Sequent calculi usually provide a general deductive setting that uniformly embeds other proof-theoretical approaches, such as tableaux methods, resolution techniques, goa...
SLOGICA
2010
14 years 4 months ago
2010
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...
106
click to vote
LOGCOM
2007
14 years 10 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...