Taking Löb's Axiom in modal provability logic as a running thread, we discuss some general methods for extending modal frame correspondences, mainly by adding fixed-point operators to modal languages ...
The simplest combination of unimodal logics L1 and L2 into a bimodal logic is their fusion, L1 ⊗ L2, axiomatized by the theorems of L1 for 1 and of L2 for 2. Shehtman introduced combinations that are ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback