Logic and Geometry of Agents in Agent-Based Modeling

DOI10.1007/978-1-0716-0368-0_313zbMath1458.91046OpenAlexW4285719226MaRDI QIDQ5150306

Samson Abramsky

Publication date: 15 February 2021

Published in: Complex Social and Behavioral Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-0716-0368-0_313

zbMATH Keywords

agent-based modelinglogic and geometry of interaction

Mathematics Subject Classification ID

2-person games (91A05) Cellular automata (computational aspects) (68Q80) Combinatorial games (91A46)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Softness of hypercoherences and MALL full completeness
• Coherence for compact closed categories
• New foundations for the geometry of interaction
• Full abstraction for idealized Algol with passive expressions
• A game semantics for generic polymorphism
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• The shuffle Hopf algebra and noncommutative full completeness
• Games and full completeness for multiplicative linear logic
• Abstract Physical Traces
• An Invariant of Regular Isotopy
• Tools and Algorithms for the Construction and Analysis of Systems
• Foundations of Software Science and Computation Structures
• Algebra and Coalgebra in Computer Science
• Automata, Languages and Programming
• Probabilistic game semantics
• Tools and Algorithms for the Construction and Analysis of Systems
• Retracing some paths in process algebra

This page was built for publication: Logic and Geometry of Agents in Agent-Based Modeling