New posts in Modal Logic

Is there a modal logic axiom corresponding to the condition that for every world w there is some world v such that vRw? (Reverse Seriality)

What is predicate lifting?

What's the point of modal logic?

Gödel's ontological proof

How are Modal Logic and Graph Theory related?

Non-trivial consequences of Lob's theorem

P implies Q, how to read in english