Information transfer across Chu spaces

DOI10.1093/jigpal/8.6.719zbMath0963.03055OpenAlexW2056888136MaRDI QIDQ4521281

J. F. A. K. van Benthem

Publication date: 21 June 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/8.6.719

zbMATH Keywords

modal logicfirst-order logicbisimulationChu spaceadjoint functorsflow of informationinformation structurepreservation theoremprocess graphsChu transformstwo-sorted first-order language

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40) Applications of model theory (03C98)

Related Items (10)

Changing a Semantics: Opportunism or Courage? ⋮ A spatial view of information ⋮ Coalgebras, Chu spaces, and representations of physical systems ⋮ Big toy models. Representing physical systems as Chu spaces ⋮ An Interpolation Theorem ⋮ Distributed Modal Logic ⋮ Tracking Information ⋮ Von Wright's ``The logic of preference revisited ⋮ Schema Mappings: A Case of Logical Dynamics in Database Theory ⋮ Situation Theory Reconsidered

This page was built for publication: Information transfer across Chu spaces