Bimodal fragments of contingency logics

Claudio Pizzi



The paper aims at identifying the modal fragments of systems of contingency logic whose language includes a propositional constant τ . It turns out that the language of such systems allows defining two necessity operators of different strength,


  • There are currently no refbacks.