Artículo
Celani, S.; Jansana, R. "A new semantics for positive modal logic" (1997) Notre Dame Journal of Formal Logic. 38(1):1-19
Estamos trabajando para incorporar este artículo al repositorio
Consulte la política de Acceso Abierto del editor
Abstract:
The paper provides a new semantics for positive modal logic using Kripke frames having a quasi ordering ≤ on the set of possible worlds and an accessibility relation R connected to the quasi ordering by the conditions (1) that the composition of ≤ with R is included in the composition of R with ≤ and (2) the analogous for the inverse of ≤ 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. © 1997 by the University of Notre Dame. All rights reserved.
Registro:
| Documento: | Artículo |
| Título: | A new semantics for positive modal logic |
| Autor: | Celani, S.; Jansana, R. |
| Filiación: | Facultad de Ciencias Exactas, Universidad Nacional del Centro, de la Provincia de Buenos Aires, Argentina Departament de Lògica, Història i Filosofia de la Ciència Universitat de Barcelona, Barcelona, 08028, Spain |
| Año: | 1997 |
| Volumen: | 38 |
| Número: | 1 |
| Página de inicio: | 1 |
| Página de fin: | 19 |
| DOI: | http://dx.doi.org/10.1305/ndjfl/1039700693 |
| Título revista: | Notre Dame Journal of Formal Logic |
| Título revista abreviado: | Notre Dam J. Logic. |
| ISSN: | 00294527 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00294527_v38_n1_p1_Celani |
Referencias:
- Božić, M., Došen, K., Models for normal intuitionistic modal logics (1984) Studia Logica, 43, pp. 217-245
- Celani, S., (1995) Lógicas Modales Distributivas Y De De Morgan, , Ph.D. dissertation, Universitat de Barcelona, Barcelona
- Došen, K., Models for stronger normal intuitionistic modal logics (1985) Studia Logica, 44, pp. 39-70
- Dunn, J.M., Positive modal logic (1995) Studia Logica, 55, pp. 301-317
- Jaspars, J., (1994) 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
- Jaspars, J., Thijsee, E., Fundamentals of partial modal logic (1995) Partiality, Modality and Nonmonotonicity, pp. 111-142. , edited by P. Doherty, CSLI, Stanford
Citas:
---------- APA ----------
Celani, S. & Jansana, R. (1997) . A new semantics for positive modal logic. Notre Dame Journal of Formal Logic, 38(1), 1-19.http://dx.doi.org/10.1305/ndjfl/1039700693
---------- CHICAGO ----------
Celani, S., Jansana, R. "A new semantics for positive modal logic" . Notre Dame Journal of Formal Logic 38, no. 1 (1997) : 1-19.http://dx.doi.org/10.1305/ndjfl/1039700693
---------- MLA ----------
Celani, S., Jansana, R. "A new semantics for positive modal logic" . Notre Dame Journal of Formal Logic, vol. 38, no. 1, 1997, pp. 1-19.http://dx.doi.org/10.1305/ndjfl/1039700693
---------- VANCOUVER ----------
Celani, S., Jansana, R. A new semantics for positive modal logic. Notre Dam J. Logic. 1997;38(1):1-19.http://dx.doi.org/10.1305/ndjfl/1039700693
