Hostname: page-component-7b7567c8c-2n9c9 Total loading time: 0 Render date: 2026-11-15T17:11:57.760Z Has data issue: false hasContentIssue false
  • English
  • Français

REFLEXIVE-INSENSITIVE MODAL LOGICS

Published online by Cambridge University Press:  24 August 2015

DAVID R. GILBERT and
GIORGIO VENTURI
DAVID R. GILBERT*
Affiliation:
State University of Campinas
GIORGIO VENTURI*
Affiliation:
State University of Campinas
*
*CENTRE FOR LOGIC EPISTEMOLOGY AND THE HISTORY OF SCIENCE STATE UNIVERSITY OF CAMPINAS 13083-859, CAMPINAS SÃO PAULO, BRAZIL E-mail:gilbert.dave.r@gmail.com, gio.venturi@gmail.com
*CENTRE FOR LOGIC EPISTEMOLOGY AND THE HISTORY OF SCIENCE STATE UNIVERSITY OF CAMPINAS 13083-859, CAMPINAS SÃO PAULO, BRAZIL E-mail:gilbert.dave.r@gmail.com, gio.venturi@gmail.com
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem on the basis of a translation between normal modal logics and their reflexive-insensitive counterparts. Lastly, we provide a sufficient semantic condition describing when a similarly general soundness result is also available.

Information

Type
Research Article
Information
The Review of Symbolic Logic , Volume 9 , Issue 1 , March 2016, pp. 167 - 180
Copyright
Copyright © Association for Symbolic Logic 2015 

References

BIBLIOGRAPHY

Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge: Cambridge University Press.Google Scholar
Goldblatt, R. (1991). The McKinsey axiom is not canonical. The Journal of Symbolic Logic, 56(2), 554–562.Google Scholar
Goldblatt, R., & Mares, E. (2006). General semantics for quantified modal logic. Advances in Modal Logic, 6, 227–246.Google Scholar
Marcos, J. (2005). Logics of essence and accident. Bulletin of the Section of Logic, 34(1), 43–56.Google Scholar
Steinsvold, C. (2008a). Completeness for various logics of essence and accident. Bulletin of the Section of Logic, 37(2), 93–101.Google Scholar
Steinsvold, C. (2008b). A note on logics of ignorance and borders. Notre Dame Journal of Formal Logic, 49(4), 385–392.Google Scholar
Steinsvold, C. (2011). Being wrong: Logics for false belief. Notre Dame Journal of Formal Logic, 52(3), 245–253.Google Scholar