Ezgi Su
CMAF-CIO

Abstract: We add epistemic modal operators to the language of here-and-there (HT) logic, and define epistemic here and-there (EHT) models. We then successively define epistemic equilibrium models and autoepistemic equilibrium models. The former are obtained from EHT models by the standard ‘minimisation of truth’ of equilibrium logic; they provide an epistemic extension of that logic. The latter are obtained from the former by maximising the set of epistemic possibilities; they provide a new semantics for epistemic specifications (an epistemic extension of ASP). For both definitions we characterise strong equivalence by means of logical equivalence in EHT logic.

This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project: UID/MAT/04561/2013.