MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In semantics for modal logic, if a new axiom schema is given together with K in question then how can one find out that what conditions the frame for the new system need to satisfy i.e reflexive, symmetric , transitive , etc which one?

Also how the S4-frame is reflexive,transitive and symmetric?

share|cite|improve this question
Could you focus your question a little bit? – David Roberts Apr 12 '11 at 21:45
I thought "reflexive, transitive and symmetric" corresponds to S5, not S4. – Andreas Blass Sep 29 '11 at 20:53

Straightforward translation of the modal formula using the definition of Kripke semantics leads to a monadic second-order $\Pi^1_1$ sentence. That’s about all that is possible, in general. There is no algorithm to find out whether the axiom is Kripke complete in the first place, whether it corresponds to a first-order condition, or if so, to compute the first-order condition. Even in simple concrete cases, these question often lead to very difficult problems.

Nevertheless, there are some classes of axioms that are better behaved. In particular, if the axiom happens to be equivalent to a Sahlqvist formula, it has a first-order equivalent, which can be effectively constructed.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.