A sound and complete axiomatization for Dynamic Topological Logic

Details A sound and complete axiomatization for Dynamic Topological Logic A sound and complete axiomatization for Dynamic Topological Logic

2012-01-25

arxiv.org/abs/1201.5162v1

Mathematics

Logic

Scientific paper

Dynamic Topological Logic (DTL) is a multimodal system for reasoning about dynamical systems. It is defined semantically and, as such, most of the work done in the field has been model-theoretic. In particular, the problem of finding a complete axiomatization for the full language of DTL over the class of all dynamical systems has proven to be quite elusive. Here we propose to enrich the language to include a polyadic topological modality, originally introduced by Dawar and Otto in a different context. We then provide a sound axiomatization for DTL over this extended language, and prove that it is complete. The polyadic modality is used in an essential way in our proof.

Affiliated with

Also associated with

No associations

Rating

A sound and complete axiomatization for Dynamic Topological Logic 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 A sound and complete axiomatization for Dynamic Topological Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A sound and complete axiomatization for Dynamic Topological Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-682788