Formal Methods for Nonmonotonic and Related Logics
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783319896496, 9783319896502

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Defeasible Inheritance Theory

Formal Methods for Nonmonotonic and Related Logics ◽

10.1007/978-3-319-89650-2_2 ◽

2018 ◽

pp. 435-534

Author(s):

Karl Schlechta

Download Full-text

Theory Revision and Sums

Formal Methods for Nonmonotonic and Related Logics ◽

10.1007/978-3-319-89650-2_1 ◽

2018 ◽

pp. 339-433

Author(s):

Karl Schlechta

Keyword(s):

Theory Revision

Download Full-text

Various Aspects of Nonmonotonic and Other Logics

Formal Methods for Nonmonotonic and Related Logics ◽

10.1007/978-3-319-89650-2_6 ◽

2018 ◽

pp. 705-759

Author(s):

Karl Schlechta

Download Full-text

Interpolation

Formal Methods for Nonmonotonic and Related Logics ◽

10.1007/978-3-319-89650-2_3 ◽

2018 ◽

pp. 535-610

Author(s):

Karl Schlechta

Download Full-text

Abstract Independence

Formal Methods for Nonmonotonic and Related Logics ◽

10.1007/978-3-319-89650-2_5 ◽

2018 ◽

pp. 671-704

Author(s):

Karl Schlechta

Download Full-text

Neighbourhood Semantics and Deontic Logic

Formal Methods for Nonmonotonic and Related Logics ◽

10.1007/978-3-319-89650-2_4 ◽

2018 ◽

pp. 611-670

Author(s):

Karl Schlechta

Keyword(s):

Deontic Logic

Download Full-text