Learning in a Changing World: an algebraic modal logical approach

Slični predmeti

• Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
  od: Dyckhoff, R, i dr.
  Izdano: (2012)
• Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
  od: Sadrzadeh, M
  Izdano: (2003)
• Relating Algebraic and Coalgebraic Logics of Knowledge and Update
  od: Cirstea, C, i dr.
  Izdano: (2006)
• Reasoning about Knowledge in Linear Logic: Modalities and Complexity
  od: Marion, M, i dr.
  Izdano: (2004)
• A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
  od: Dyckhoff, R, i dr.
  Izdano: (2010)