Logic and the flow of information

This publication has 4 references indexed in Scilit:

• Dynamic predicate logic
  Linguistics and Philosophy, 1991
• Linear logic
  Theoretical Computer Science, 1987
• Essays in Logical Semantics
  Published by Springer Nature ,1986
• Process algebra for synchronous communication
  Information and Control, 1984