Franklin's Notes


Axiom schemas in modal logic

Here are some examples of axiom schemas that are valid in modal logic :

which can be interpreted informally as follows:

model-theory

logic

modal-logic

axioms

back to home page