@DaniilAltshuler @agbtm There's modal logics of space, with operators whose semantics is given via topological notions. So you can talk of what happens inside, outside, at the borders, etc. https://t.co/NNiUlPikNY
4,170 followers
926 followers
@ProfMaxNew You should find a suitable description in here https://t.co/u8V4IoWuQI
141 followers
Handbook of Spatial Logics (2007) : Aiello, Marco and Pratt-Hartmann, Ian E. and van Benthem, Johan F.A.K DOI: https://t.co/ju8Ru2rAT2 #geometry #logic #modal_logic #spatial_logic #topology #my_bibtex
3,511 followers
@LedermanHarvey @_Thrill_House_ Van Benthem started working on geometrical interpretations of modal logic in the 90s, see eg https://t.co/UpU6Atv8w4