Diamonds and Defaults
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Netherlands

9789048142866, 9789401582421
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Logic with Progressive Tenses

1993 ◽  
pp. 255-285 ◽  
Author(s):  
Valentin Shehtman

Dyadic Modalities and Lambek Calculus

1993 ◽  
pp. 215-253 ◽  
Author(s):  
Dirk Roorda
Keyword(s):  
Lambek Calculus

Logical Omniscience and Inconsistent Belief

1993 ◽  
pp. 129-146 ◽  
Author(s):  
Jan O. M. Jaspars
Keyword(s):  
Logical Omniscience

The Feasibility of Defeat in Defeasible Reasoning

1993 ◽  
pp. 359-380 ◽  
Author(s):  
Gerard Vreeswijk
Keyword(s):  
Defeasible Reasoning

Completeness via Completeness

1993 ◽  
pp. 349-358 ◽  
Author(s):  
Yde Venema

On Total Awareness Logics

1993 ◽  
pp. 309-347 ◽  
Author(s):  
Elias Thijsse

Beyond Accessibility

1993 ◽  
pp. 1-18 ◽  
Author(s):  
Johan van Benthem

Interpreting Modal Natural Deduction in Type Theory

1993 ◽  
pp. 67-102 ◽  
Author(s):  
Tijn Borghuis
Keyword(s):  
Type Theory ◽  
Natural Deduction

Modal Logic and Attribute Value Structures

1993 ◽  
pp. 19-65 ◽  
Author(s):  
Patrick Blackburn
Keyword(s):  
Modal Logic ◽  
Value Structures ◽  
Attribute Value

The Complexity of Propositional Tense Logics

1993 ◽  
pp. 287-307 ◽  
Author(s):  
Edith Spaan
Load More ...
Sign in / Sign up

Export Citation Format

Share Document