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

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

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

Interpolation

Formal Methods for Nonmonotonic and Related Logics ◽

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

2018 ◽

pp. 535-610

Author(s):

Karl Schlechta

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

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