Complétude de certaines logiques bimodales
(1986) Logique et Analyse — Vol. 29, n° 116, p. 391-407 (1986)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- Présentation d'un certain type de sémantique des logiques modales où l'ensemble des mondes possibles est structuré à la fois en termes d'accessibilité et de voisinage. L'objectif est d'explorer et d'axiomatiser la situation où l'ensemble des mondes possibles est l'ensemble des objets d'une catégorie (structure à la Kripke) munie d'une topologie de Grothendieck (structure à la Scott).
Citations
Lucas, T. (1986). Complétude de certaines logiques bimodales. Logique et Analyse, 29(116), 391-407. https://hdl.handle.net/2078.5/72560 (Original work published 1986)