Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces
In this paper we consider the topological interpretations of L□, the classical logic extended by a “box” operator □ interpreted as interior. We present extensions of S4 that are sound over some families of topological spaces, including particular point topological spaces, excluded point topological...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2016-01-01
|
| Series: | International Journal of Mathematics and Mathematical Sciences |
| Online Access: | http://dx.doi.org/10.1155/2016/9163014 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|