We present a non-deterministic semantic framework for all modal logics in the modal cube, extending prior works by Kearns and others. Our approach introduces modular and uniform multi-valued non-deterministic matrices (Nmatrices) for each logic, where necessitation is captured by the systematic use of level valuations. The semantics is grounded in an eight-valued system and provides a sound and complete decision procedure for each modal logic, extending and refining earlier semantics as particular cases. Additionally, we propose a novel model-theoretic perspective that links our framework to relational (Kripke-style) semantics, addressing longstanding questions regarding the correspondence between modal axioms and semantic conditions in non-deterministic settings. This yields a philosophically robust and technically modular alternative to traditional possible-world semantics.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Modal Cube Revisited: Semantics Without Worlds

  • Renato Leme,
  • Carlos Olarte,
  • Elaine Pimentel,
  • Marcelo Esteban Coniglio

摘要

We present a non-deterministic semantic framework for all modal logics in the modal cube, extending prior works by Kearns and others. Our approach introduces modular and uniform multi-valued non-deterministic matrices (Nmatrices) for each logic, where necessitation is captured by the systematic use of level valuations. The semantics is grounded in an eight-valued system and provides a sound and complete decision procedure for each modal logic, extending and refining earlier semantics as particular cases. Additionally, we propose a novel model-theoretic perspective that links our framework to relational (Kripke-style) semantics, addressing longstanding questions regarding the correspondence between modal axioms and semantic conditions in non-deterministic settings. This yields a philosophically robust and technically modular alternative to traditional possible-world semantics.