Projekt
Eine beweistheoretische Untersuchung bedingter Logiken
Conditional Logics, Proof Theory, Input Output logics, Preference-Based Deontic Logics, KLM logics, Naturwissenschaften, Informatik, Mathematik, Mathematische Logik, Artificial Intelligence
Conditional Logics, Proof Theory, Input Output logics, Preference-Based Deontic Logics, KLM logics, Naturwissenschaften, Informatik, Mathematik, Mathematische Logik, Artificial Intelligence