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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document