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

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_9 ◽

1993 ◽

pp. 255-285 ◽

Cited By ~ 3

Author(s):

Valentin Shehtman

Download Full-text

Dyadic Modalities and Lambek Calculus

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_8 ◽

1993 ◽

pp. 215-253 ◽

Cited By ~ 2

Author(s):

Dirk Roorda

Keyword(s):

Lambek Calculus

Download Full-text

Logical Omniscience and Inconsistent Belief

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_5 ◽

1993 ◽

pp. 129-146 ◽

Cited By ~ 3

Author(s):

Jan O. M. Jaspars

Keyword(s):

Logical Omniscience

Download Full-text

The Feasibility of Defeat in Defeasible Reasoning

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_13 ◽

1993 ◽

pp. 359-380 ◽

Cited By ~ 1

Author(s):

Gerard Vreeswijk

Keyword(s):

Defeasible Reasoning

Download Full-text

Completeness via Completeness

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_12 ◽

1993 ◽

pp. 349-358 ◽

Cited By ~ 4

Author(s):

Yde Venema

Download Full-text

On Total Awareness Logics

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_11 ◽

1993 ◽

pp. 309-347 ◽

Cited By ~ 2

Author(s):

Elias Thijsse

Download Full-text

Beyond Accessibility

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_1 ◽

1993 ◽

pp. 1-18 ◽

Cited By ~ 2

Author(s):

Johan van Benthem

Download Full-text

Interpreting Modal Natural Deduction in Type Theory

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_3 ◽

1993 ◽

pp. 67-102 ◽

Cited By ~ 5

Author(s):

Tijn Borghuis

Keyword(s):

Type Theory ◽

Natural Deduction

Download Full-text

Modal Logic and Attribute Value Structures

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_2 ◽

1993 ◽

pp. 19-65 ◽

Cited By ~ 10

Author(s):

Patrick Blackburn

Keyword(s):

Modal Logic ◽

Value Structures ◽

Attribute Value

Download Full-text

The Complexity of Propositional Tense Logics

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_10 ◽

1993 ◽

pp. 287-307 ◽

Cited By ~ 7

Author(s):

Edith Spaan

Download Full-text