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, et al.
  出版: (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, et al.
  出版: (2006)
• Reasoning about Knowledge in Linear Logic: Modalities and Complexity
  由: Marion, M, et al.
  出版: (2004)
• A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
  由: Dyckhoff, R, et al.
  出版: (2010)