Login / Signup

Some Results on Modal Axiomatization and Definability for Topological Spaces.

Guram BezhanishviliLeo EsakiaDavid Gabelaia
Published in: Stud Logica (2005)
Keyphrases
  • topological spaces
  • propositional logic
  • modal logic
  • fixed point
  • situation calculus
  • topological features
  • general theory
  • approximation spaces
  • complete axiomatization
  • mobile robot
  • rough sets
  • equivalence relation