Gentzen Calculi for Modal Propositional Logic
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Netherlands

9789048196692, 9789048196708

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Hypersequent Calculus for the System S5

Gentzen Calculi for Modal Propositional Logic ◽

10.1007/978-90-481-9670-8_9 ◽

2010 ◽

pp. 175-186

Author(s):

Francesca Poggiolesi

Download Full-text

Purely Syntactic Methods

Gentzen Calculi for Modal Propositional Logic ◽

10.1007/978-90-481-9670-8_3 ◽

2010 ◽

pp. 55-74

Author(s):

Francesca Poggiolesi

Download Full-text

Semantic Adequacy

Gentzen Calculi for Modal Propositional Logic ◽

10.1007/978-90-481-9670-8_8 ◽

2010 ◽

pp. 165-174

Author(s):

Francesca Poggiolesi

Download Full-text

On the Tree-Hypersequent Calculi

Gentzen Calculi for Modal Propositional Logic ◽

10.1007/978-90-481-9670-8_6 ◽

2010 ◽

pp. 119-141 ◽

Cited By ~ 1

Author(s):

Francesca Poggiolesi

Keyword(s):

Hypersequent Calculi

Download Full-text

Further Results on Tree-Hypersequent Calculi

Gentzen Calculi for Modal Propositional Logic ◽

10.1007/978-90-481-9670-8_11 ◽

2010 ◽

pp. 203-207

Author(s):

Francesca Poggiolesi

Keyword(s):

Hypersequent Calculi

Download Full-text

Syntactic Cut-Admissibility and Decidability

Gentzen Calculi for Modal Propositional Logic ◽

10.1007/978-90-481-9670-8_7 ◽

2010 ◽

pp. 143-163

Author(s):

Francesca Poggiolesi

Download Full-text

Comparing the Different Generalisations of the Sequent Calculus

Gentzen Calculi for Modal Propositional Logic ◽

10.1007/978-90-481-9670-8_5 ◽

2010 ◽

pp. 101-116

Author(s):

Francesca Poggiolesi

Keyword(s):

Sequent Calculus

Download Full-text

Semantic Methods

Gentzen Calculi for Modal Propositional Logic ◽

10.1007/978-90-481-9670-8_4 ◽

2010 ◽

pp. 75-100

Author(s):

Francesca Poggiolesi

Download Full-text

Modal Logic and Ordinary Sequent Calculi

Gentzen Calculi for Modal Propositional Logic ◽

10.1007/978-90-481-9670-8_2 ◽

2010 ◽

pp. 39-53

Author(s):

Francesca Poggiolesi

Keyword(s):

Modal Logic ◽

Sequent Calculi

Download Full-text

A Tree-Hypersequent Calculus for the Modal Logic of Provability

Gentzen Calculi for Modal Propositional Logic ◽

10.1007/978-90-481-9670-8_10 ◽

2010 ◽

pp. 187-201

Author(s):

Francesca Poggiolesi

Keyword(s):

Modal Logic

Download Full-text