Actions, Ramifications and Linear Modalities

Keywords

Modalities, Computer science, Sociology, Social science

References

• Philosophical Papers: Volume IIChristopher Peacocke, David Lewis — 1987
• Lectures on linear logicA. S. Troelstra — 1992
• The Design of a Situation-Based Lygon Metainterpreter: 1. Simple Changes and PersistenceG. White — 2013
• A Uniform Proof-Theoretic Investigation of Linear Logic ProgrammingDavid Pym, James Harland — 1994
• Notions of Computation and MonadsEugenio Moggi — 1991
• Strong functors and monoidal monadsAnders Kock — 1972
• Closed categories generated by commutative monadsAnders Kock — 1971
• Introduction to higher order categorical logicJ. L. Bell, J. Lambek, Philip Scott — 1986
• Linear Deductive PlanningGerd Große — 1996
• Monads on symmetric monoidal closed categoriesAnders Kock — 1970
• From Petri Nets to Linear Logic through Categories: A SurveyNarciso Martí Oliet, José Meseguer — 1991
• Monads and Algebras in the Semantics or Partial Data TypesPhilip S. Mulry — 1992
• Categorical Fixed Point SemanticsPhilip S. Mulry — 1990
• Premonoidal categories and notions of computationJohn Power, E. Powell Robinson — 1997
• The Persistence of Derived InformationKaren L. Myers, David E. Smith — 1988
• Relevance logic and concurrent compositionMads Dam — 1988
• Linear logicPatrick Lincoln — 1992
• GOLOG and Linear Logic ProgrammingGraham White — 2013
• Counterfactuals and comparative possibilityDavid Lewis — 1973
• Solving the frame problemM. Shanahan — 1997

Cited by

No citing papers recorded for this paper.

Related papers

• Limitations of ActionsPeter Handford — 2003