Book Chapter
Anaphora and the logic of change
Reinhard Muskens
Lecture Notes in Computer Science, 1991, Volume 478, Logics in AI, Pages 412-427
Journal Article
Situations and events
Nicholas Asher and Daniel Bonevac
Philosophical Studies, 1985, Volume 47, Number 1, Pages 57-77
Journal Article
Affective Dependencies
Anastasia Giannakidou
Linguistics and Philosophy, 1999, Volume 22, Number 4, Pages 367-421
Journal Article
Declarative programming for agent applications
J. W. Lloyd and K. S. Ng
Autonomous Agents and Multi-Agent Systems, 2011, Volume 23, Number 2, Pages 224-272
Book Chapter
A Relational View of Recurrence and Attractors in State Transition Dynamics
Giuseppe Scollo, Giuditta Franco and Vincenzo Manca
Lecture Notes in Computer Science, 2006, Volume 4136, Relations and Kleene Algebra in Computer Science, Pages 358-372
Book Chapter
Introducing Backward Refinement into B
Steve Dunne
Lecture Notes in Computer Science, 2003, Volume 2651, ZB 2003: Formal Specification and Development in Z and B, Page 627
Book Chapter
Attribute Grammars and Categorical Semantics
Shin-ya Katsumata
Lecture Notes in Computer Science, 2008, Volume 5126, Automata, Languages and Programming, Pages 271-282
Book Chapter
Formal Concepts in Dedekind Categories
Toshikazu Ishida, Kazumasa Honda and Yasuo Kawahara
Lecture Notes in Computer Science, 2008, Volume 4988, Relations and Kleene Algebra in Computer Science, Pages 221-233
Journal Article
Toy Model for a Relational Formulation of Quantum Theory
David Poulin
International Journal of Theoretical Physics, 2006, Volume 45, Number 7, Pages 1189-1215
Book Chapter
Abstract Model Theory as a Framework for Universal Logic
Marta García-Matos and Jouko Väänänen
2005, Logica Universalis, Part I, Pages 19-33