Login / Signup

The McKinsey-Tarski Theorem for Topological Evidence Logics.

Alexandru BaltagNick BezhanishviliSaúl Fernández González
Published in: WoLLIC (2019)
Keyphrases
  • digital topology
  • intuitionistic logic
  • expressive power
  • empirical evidence
  • higher order
  • topological properties
  • linear logic
  • information systems
  • connected components
  • modal logic
  • spatial relations
  • von neumann