follows because if / is unsatisfiable, then the minimal model with respect to / is the emptyset. Hence / . ¯ is also unsatisfiable. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On the Semantics of Theory Change: Arbitration between Old and.. - Revesz (1993) (23 citations) (Correct)
No context found.
follows because if / is unsatisfiable, then the minimal model with respect to / is the emptyset. Hence / . ¯ is also unsatisfiable.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC