Algebra and Sequent Calculus for Epistemic Actions

This publication has 10 references indexed in Scilit:

• Logics for Epistemic Programs
  Synthese, 2004
• A Coalgebraic Semantics for Epistemic Programs
  Electronic Notes in Theoretical Computer Science, 2003
• Quantaloids Describing Causation and Propagation of Physical Properties
  Foundations of Physics Letters, 2001
• Reasoning about Information Change
  Journal of Logic, Language and Information, 1997
• The relation between intuitionistic and classical modal logics
  Algebra and Logic, 1997
• Quantales, observational logic and process semantics
  Mathematical Structures in Computer Science, 1993
• Language in action
  Journal of Philosophical Logic, 1991
• The weakest prespecification
  Information Processing Letters, 1987
• Linear logic
  Theoretical Computer Science, 1987
• The Mathematics of Sentence Structure
  The American Mathematical Monthly, 1958