Modeling Interaction by Sheaves and Geometric Logic

Authors:
Viorica Sofronie-Stokkermans;Karel Stokkermans
Affiliations:
-;-
Venue:
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Year:
1999

Citing 7
Cited 0

Temporal logic of programs

Temporal logic of programs
Combinatorics on traces

Combinatorics on traces
Automata and Algebras in Categories

Automata and Algebras in Categories
Logical fiberings and polycontextural systems

FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Presheaf Models for Concurrency

CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
Towards a Sheaf Semantics for Cooperating Agents Scenarios

AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
A Presheaf Semantics of Value-Passing Processes

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we show that, given a family of interacting systems, many notions which are important for expressing properties of systems can be modeled as sheaves over a suitable topological space. In such contexts, geometric logic can be used to test whether "local" properties can be lifted to a global level. We develop a way to use this method in the study of interacting systems, illustrated by examples.