Notre Dame Journal of Formal Logic

A New Semantics for Positive Modal Logic

S. Celani and R. Jansana

Abstract

The paper provides a new semantics for positive modal logic using Kripke frames having a quasi ordering $\leq$ on the set of possible worlds and an accessibility relation $R$ connected to the quasi ordering by the conditions (1) that the composition of $\leq$ with $R$ is included in the composition of $R$ with $\leq$ and (2) the analogous for the inverse of $\leq$ and $R$. This semantics has an advantage over the one used by Dunn in "Positive modal logic," Studia Logica (1995) and works fine for extensions of the minimal system of normal positive modal logic.

Article information

Source
Notre Dame J. Formal Logic, Volume 38, Number 1 (1997), 1-18.

Dates
First available in Project Euclid: 12 December 2002

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1039700693

Digital Object Identifier
doi:10.1305/ndjfl/1039700693

Mathematical Reviews number (MathSciNet)
MR1479365

Zentralblatt MATH identifier
0889.03014

Subjects
Primary: 03B45: Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45}

Citation

Celani, S.; Jansana, R. A New Semantics for Positive Modal Logic. Notre Dame J. Formal Logic 38 (1997), no. 1, 1--18. doi:10.1305/ndjfl/1039700693. https://projecteuclid.org/euclid.ndjfl/1039700693


Export citation

References

  • Božić, M., and K. Došen, “Models for normal intuitionistic modal logics,” Studia Logica, vol. 43 (1984), pp. 217–45. Zbl 0634.03014 MR 86h:03020
  • Celani, S., Lógicas Modales distributivas y de De Morgan, Ph.D. dissertation, Universitat de Barcelona, Barcelona, 1995.
  • Došen, K., “Models for stronger normal intuitionistic modal logics,” Studia Logica, vol. 44 (1985), pp. 39–70. Zbl 0634.03015 MR 87d:03042
  • Dunn, J. M., “Positive modal logic,” Studia Logica, vol. 55 (1995), pp. 301–17. Zbl 0831.03007 96f:03013
  • Jaspars, J., Calculi for Constructive Communication: A Study of the Dynamics of Partial States. Doctoral dissertation. ILLC Dissertation Series 1994-4 and ITK Dissertation Series 1994-1, University of Amsterdam, Amsterdam, 1994.
  • Jaspars, J., and E. Thijsee, “Fundamentals of partial modal logic” pp. 111–42 in Partiality, Modality and Nonmonotonicity, edited by P. Doherty, CSLI, Stanford, 1995. Zbl 0904.03013 MR 1427286