Learning in a Changing World: an algebraic modal logical approach

مواد مشابهة

• Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
  حسب: Dyckhoff, R, وآخرون
  منشور في: (2012)
• Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
  حسب: Sadrzadeh, M
  منشور في: (2003)
• Relating Algebraic and Coalgebraic Logics of Knowledge and Update
  حسب: Cirstea, C, وآخرون
  منشور في: (2006)
• Reasoning about Knowledge in Linear Logic: Modalities and Complexity
  حسب: Marion, M, وآخرون
  منشور في: (2004)
• A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
  حسب: Dyckhoff, R, وآخرون
  منشور في: (2010)