Dynamics

This publication has 16 references indexed in Scilit:

• Combining Montague semantics and discourse representation
  Linguistics and Philosophy, 1996
• Transition systems and dynamic semantics
  Published by Springer Nature ,1992
• Dynamic predicate logic
  Linguistics and Philosophy, 1991
• Linear logic
  Theoretical Computer Science, 1987
• Partial Logic
  Published by Springer Nature ,1986
• On the logic of theory change: Partial meet contraction and revision functions
  The Journal of Symbolic Logic, 1985
• How to give it up: A survey of some formal aspects of the logic of theory change
  Synthese, 1985
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• Process algebra for synchronous communication
  Information and Control, 1984
• Scorekeeping in a language game
  Journal of Philosophical Logic, 1979