Switch to: References

Add citations

You must login to add citations.
  1. Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames.Peter Fritz - 2024 - Journal of Symbolic Logic 89 (2):758-793.
    Propositional modal logic over relational frames is naturally extended with propositional quantifiers by letting them range over arbitrary sets of worlds of the relevant frame. This is also known as second-order propositional modal logic. The propositionally quantified modal logic of a class of relational frames is often not axiomatizable, although there are known exceptions, most notably the case of frames validating the strong modal logic $\mathrm {S5}$. Here, we develop new general methods with which many of the open questions in (...)
    Download  
     
    Export citation  
     
    Bookmark