Modal Logics

All propositional formulas throughout this book are built up from a countable family of propositional variables. We use P, Q,... as propositional variables, with subscripts if necessary, and we follow the usual convention that these are all distinct. As our main propositional connective we have implication,

2.2