Related Experiment Video
Updated: Jan 22, 2026

Determining Membrane Protein Topology Using Fluorescence Protease Protection FPP
Published on: April 20, 2015
Announcement as effort on topological spaces
Hans van Ditmarsch1, Sophia Knight2, Aybüke Özgün1,3
11LORIA, CNRS, Université de Lorraine, Nancy, France.
Abstract:
We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, with S5 knowledge modality, and demonstrate their completeness. We moreover consider the weaker axiomatizations of three logics with S4 type of knowledge and prove soundness and completeness results for these systems.
Related Concept Videos
State Space Representation
Consider an RLC circuit, a...
Space Trusses
At the core of a space truss lies the fundamental unit known as the tetrahedron. This structure is composed of six members that form a three-dimensional shape...
Transfer Function to State Space
In an RLC...
State Space to Transfer Function
The transformation process begins with the state-space representation, characterized by the state equation and the output equation. These equations are typically represented as:
Space Trusses: Problem Solving
Consider a tripod consisting of a tetrahedral space truss with a ball-and-socket joint at C. Suppose the height and lengths of the horizontal and vertical...
Rocket Propulsion in Empty Space - I

