Abstract: We introduce the notion of X-stable models parametrized by a given logic X. Such notion is based on a construction that we call weak completions: a set of atoms M is an X-stable model of a ...
Tá torthaí a d'fhéadfadh a bheith dorochtana agat á dtaispeáint faoi láthair.
Folaigh torthaí dorochtana