IPM Calendar 
Thursday 2 July 2020   Today  
Events for day: Thursday 27 June 2019    
           14:00 - 16:00     Mathtematical Logic Weekly Seminar
Algebraic Approach to Non-monotonic Logics


A non-monotonic logic is a logic whose consequence relation is not monotonic. A logical inference is monotonic whenever a formula α is a consequence of a set of formulas ∑ , then α is also a consequence of any set of formulas ∑� containing ∑. On the other hand there are reasoning systems which are non-monotonic in the sense that we often derive conclusions on the basis of incomplete information that we may retract when we are given more complete information. The most familiar non-monotonic formalisms are default logic, autoepistemic logic and preference logics. We briefly discuss them, investigate t ...