Karl Schlechta

Formal Methods for Nonmonotonic and Related Logics : Vol II

Logical Tools for Handling Change in Agent-Based Systems

Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II : Vol. I : Preference and Size / Vol. II

A New Perspective on Nonmonotonic Logics

Formal Methods for Nonmonotonic and Related Logics : Vol I

Conditionals and Modularity in General Logics

Nietzsche-Index zu den Werken in drei Bänden

1967

Nietzsche-Index

1965

Coherent Systems

Truth and Knowledge

Ein Modell von CH ohne Souslin-Baume und ohne Kurepa-Baume in CCC-Erweiterungen