scientific article; zbMATH DE number 7454909
From MaRDI portal
Publication:5019683
Authors: Brendan Fong, David Jaz Myers, David I. Spivak 
Publication date: 10 January 2022
Full work available at URL: https://arxiv.org/abs/2101.10490
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 549980
- Modal logics for mereotopological relations
- Well-behaved modal logics
- Modal logic for modelling actions and agents
- Behavioral algebraization of logics
- A modal logic of consistency
- Publication:4952316
- A logic of behaviour in context
- Modal Matters for Interpretability Logics
- Modal logics, justification logics, and realization
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)
Cites Work
- Sheaves in geometry and logic: a first introduction to topos theory
- Open dynamical systems and their control
- ``What is a thing?: topos theory in the foundations of physics
- The Behavioral Approach to Open and Interconnected Systems
- Title not available (Why is that?)
- Temporal type theory. A topos-theoretic approach to systems and behavior
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019683)
