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

School
MATHEMATICS

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 ...