The Dynamics of Syntactic Knowledge

• DOI: 10.1093/logcom/exl019
• Publication Date: 2006-10-11T02:49:33Z
• Authors: T. Agotnes; N. Alechina
• Keywords: Omniscience

The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than defined in terms of possible worlds. In this study, we combine with modal logic, using transition systems model reasoning. We use two modalities: 'knowing at least' a set formulae and most' formulae. are particularly interested models restricting known an agent point time be finite. resulting investigated from view axiomatization complexity. show how these logics can used formalise non-omniscient agents who know some inference rules, study their relationship other logics, such Ågotnes Walicki (2004, Proc. 2nd EUMAS, pp. 1–10), Alechina et al. 3rd AAMAS, 601–613), Duc (1997, J. Logic Comput., 7, 633–648).