An extension of Kracht's theorem to generalized Sahlqvist formulas

Details An extension of Kracht's theorem to generalized Sahlqvist formulas An extension of Kracht's theorem to generalized Sahlqvist formulas

2010-03-12

arxiv.org/abs/1003.2603v1

Journal of Applied Non-Classical Logics. Volume 19 - No. 2/2009, pages 227 -- 251

Mathematics

Logic

Scientific paper

Sahlqvist formulas are a syntactically specified class of modal formulas proposed by Hendrik Sahlqvist in 1975. They are important because of their first-order definability and canonicity, and hence axiomatize complete modal logics. The first-order properties definable by Sahlqvist formulas were syntactically characterized by Marcus Kracht in 1993. The present paper extends Kracht's theorem to the class of `generalized Sahlqvist formulas' introduced by Goranko and Vakarelov and describes an appropriate generalization of Kracht formulas.

Affiliated with

Also associated with

No associations

Rating

An extension of Kracht's theorem to generalized Sahlqvist formulas 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 An extension of Kracht's theorem to generalized Sahlqvist formulas, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An extension of Kracht's theorem to generalized Sahlqvist formulas will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-129565