Applied Logic Series - Proof Theory of Modal Logic
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Netherlands

9789048147205, 9789401727983
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Display Problem

1996 ◽  
pp. 79-92 ◽  
Author(s):  
Nuel Belnap

On the Completeness of Classical Modal Display Logic

1996 ◽  
pp. 137-140 ◽  
Author(s):  
Rajeev Goré
Keyword(s):  
Display Logic

Transfer of Sequent Calculus Strategies to Resolution for S4

1996 ◽  
pp. 17-31 ◽  
Author(s):  
Grigori Mints ◽  
Vladimir Orevkov ◽  
Tanel Tammet
Keyword(s):  
Sequent Calculus

Translating Graded Modalities into Predicate Logics

1996 ◽  
pp. 253-291 ◽  
Author(s):  
H. J. Ohlbach ◽  
R. Schmidt ◽  
U. Hustadt
Keyword(s):  
Graded Modalities

A Contraction-Free Sequent Calculus for S4

1996 ◽  
pp. 3-15 ◽  
Author(s):  
Jörg Hudelmaier
Keyword(s):  
Sequent Calculus

scholarly journals Power and Weakness of the Modal Display Calculus

1996 ◽  
pp. 93-121 ◽  
Author(s):  
Marcus Kracht
Keyword(s):  
Display Calculus

Refutations and Proofs in S4

1996 ◽  
pp. 45-51 ◽  
Author(s):  
Tomasz Skura

Gabbay-Style Calculi

1996 ◽  
pp. 243-252 ◽  
Author(s):  
Szabolcs Mikulás

A Computational Interpretation of Modal Proofs

1996 ◽  
pp. 213-241 ◽  
Author(s):  
Simone Martini ◽  
Andrea Masini
Load More ...
Sign in / Sign up

Export Citation Format

Share Document