Developments in Modal Logics

The field of modal logics is witnessing a significant shift towards the development of more expressive and flexible frameworks. Researchers are actively exploring the integration of defeasibility and density notions into various modal logic systems, enabling the representation of more nuanced and context-dependent reasoning. This trend is driven by the need to address complex decision-making scenarios and uncertain environments. Notably, the development of new semantic and calculi techniques, such as preferential semantics and tableau-based methods, is facilitating the analysis and computation of these enhanced logical frameworks. Some noteworthy papers in this regard include:

  • Extending Defeasibility for Propositional Standstandpoint Logics, which introduces a novel defeasible version of propositional standpoint logic.
  • Path-filtration for modal logics applied to revisiting quasi-dense logics, which provides a corrected and simplified proof of the decidability of quasi-dense modal logics.

Sources

Extending Defeasibility for Propositional Standpoint Logics

Complexity of some modal logics of density (extended version)

Path-filtration for modal logics applied to revisiting quasi-dense logics

Comment on Decidability of Quasi-Dense Modal Logics by Lyon and Ostropolski-Nalewaja

Built with on top of