Topological Modal Logics with Difference Modality

Details Topological Modal Logics with Difference Modality Topological Modal Logics with Difference Modality

2010-11-25

arxiv.org/abs/1011.5687v1

Topological modal logics with difference modality. Advances in Modal Logic, Volume 6,pp 319-332, 2006

Mathematics

Logic

Advances in Modal Logic, Volume 6, 2006

Scientific paper

We consider propositional modal logic with two modal operators $\Box$ and
$\D$. In topological semantics $\Box$ is interpreted as an interior operator
and $\D$ as difference. We show that some important topological properties are
expressible in this language. In addition, we present a few logics and proofs
of f.m.p. and of completeness theorems.

Affiliated with

Also associated with

No associations

Rating

Topological Modal Logics with Difference Modality does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Topological Modal Logics with Difference Modality, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Topological Modal Logics with Difference Modality will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-462429