scientific article; zbMATH DE number 7454909

MaRDI QIDQ5019683zbMATH OpenFDO

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, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.19

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

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

Cites work

• scientific article; zbMATH DE number 6296799 (Why is no real title available?)
• Open dynamical systems and their control
• Sheaves in geometry and logic: a first introduction to topos theory
• Temporal type theory. A topos-theoretic approach to systems and behavior
• The Behavioral Approach to Open and Interconnected Systems
• ``What is a thing?: topos theory in the foundations of physics

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)