Applied Logic Series - Proof Theory of Modal Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789048147205, 9789401727983

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Display Problem

Applied Logic Series - Proof Theory of Modal Logic ◽

10.1007/978-94-017-2798-3_6 ◽

1996 ◽

pp. 79-92 ◽

Cited By ~ 9

Author(s):

Nuel Belnap

Download Full-text

On the Completeness of Classical Modal Display Logic

Applied Logic Series - Proof Theory of Modal Logic ◽

10.1007/978-94-017-2798-3_9 ◽

1996 ◽

pp. 137-140 ◽

Cited By ~ 1

Author(s):

Rajeev Goré

Keyword(s):

Display Logic

Download Full-text

Transfer of Sequent Calculus Strategies to Resolution for S4

Applied Logic Series - Proof Theory of Modal Logic ◽

10.1007/978-94-017-2798-3_2 ◽

1996 ◽

pp. 17-31 ◽

Cited By ~ 3

Author(s):

Grigori Mints ◽

Vladimir Orevkov ◽

Tanel Tammet

Keyword(s):

Sequent Calculus

Download Full-text

Translating Graded Modalities into Predicate Logics

Applied Logic Series - Proof Theory of Modal Logic ◽

10.1007/978-94-017-2798-3_14 ◽

1996 ◽

pp. 253-291 ◽

Cited By ~ 4

Author(s):

H. J. Ohlbach ◽

R. Schmidt ◽

U. Hustadt

Keyword(s):

Graded Modalities

Download Full-text

A Contraction-Free Sequent Calculus for S4

Applied Logic Series - Proof Theory of Modal Logic ◽

10.1007/978-94-017-2798-3_1 ◽

1996 ◽

pp. 3-15 ◽

Cited By ~ 7

Author(s):

Jörg Hudelmaier

Keyword(s):

Sequent Calculus

Download Full-text

Power and Weakness of the Modal Display Calculus

Applied Logic Series - Proof Theory of Modal Logic ◽

10.1007/978-94-017-2798-3_7 ◽

1996 ◽

pp. 93-121 ◽

Cited By ~ 32

Author(s):

Marcus Kracht

Keyword(s):

Display Calculus

Download Full-text

A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics

Applied Logic Series - Proof Theory of Modal Logic ◽

10.1007/978-94-017-2798-3_8 ◽

1996 ◽

pp. 123-136 ◽

Cited By ~ 3

Author(s):

Heinrich Wansing

Keyword(s):

Functional Completeness ◽

Theoretic Proof

Download Full-text

Refutations and Proofs in S4

Applied Logic Series - Proof Theory of Modal Logic ◽

10.1007/978-94-017-2798-3_4 ◽

1996 ◽

pp. 45-51 ◽

Cited By ~ 5

Author(s):

Tomasz Skura

Download Full-text

Gabbay-Style Calculi

Applied Logic Series - Proof Theory of Modal Logic ◽

10.1007/978-94-017-2798-3_13 ◽

1996 ◽

pp. 243-252 ◽

Cited By ~ 2

Author(s):

Szabolcs Mikulás

Download Full-text

A Computational Interpretation of Modal Proofs

Applied Logic Series - Proof Theory of Modal Logic ◽

10.1007/978-94-017-2798-3_12 ◽

1996 ◽

pp. 213-241 ◽

Cited By ~ 18

Author(s):

Simone Martini ◽

Andrea Masini

Download Full-text

Applied Logic Series - Proof Theory of Modal LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

The Display Problem

On the Completeness of Classical Modal Display Logic

Transfer of Sequent Calculus Strategies to Resolution for S4

Translating Graded Modalities into Predicate Logics

A Contraction-Free Sequent Calculus for S4

Power and Weakness of the Modal Display Calculus

A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics

Refutations and Proofs in S4

Gabbay-Style Calculi

A Computational Interpretation of Modal Proofs

Applied Logic Series - Proof Theory of Modal Logic
Latest Publications