Heuristique formelle et logiques modales non-normales
Keiff, Laurent
Philosophia Scientiae, Tome 8 (2004), p. 39-57 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)

Nous présentons ici une version modale des dialogues de recherche de conditions (SSD) que nous avons introduits dans [Rahman & Keiff 2004]. La sémantique utilisée correspond à celle des systèmes modaux non normaux.

We present here a modal version of the structure seeking dialogues (SSD) that were introduced in [Rahman & Keiff 2004]. For this purpose, we use a semantics that corresponds to the semantics of non normal modal systems.

Publié le : 2004-01-01
@article{PHSC_2004__8_2_39_0,
     author = {Keiff, Laurent},
     title = {Heuristique formelle et logiques modales non-normales},
     journal = {Philosophia Scientiae},
     volume = {8},
     year = {2004},
     pages = {39-57},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PHSC_2004__8_2_39_0}
}

Keiff, Laurent. Heuristique formelle et logiques modales non-normales. Philosophia Scientiae, Tome 8 (2004) pp. 39-57. http://gdmltest.u-ga.fr/item/PHSC_2004__8_2_39_0/

[1] Barth, E. and Krabbe, E. 1982.- From Axiom to Dialogue : A Philosophical Study of Logics and Argumentation, Berlin, New York : De Gruyter, 1982. | MR 678092 | Zbl 0495.03001

[2] Batens, D. 2003.- A General Characterization of Adaptive Logics, Logique & Analyse, vol. 173-175, 45-68. | MR 2006119 | Zbl 1047.03017

[3] Van Benthem J., G. Heinzmann, M. Rebuschi & H. Visser (eds.) 2004.- The Age of Alternative Logics, Dordrecht : Kluwer, 2004.

[4] Blackburn, P. 2001a.- Modal logic as dialogical logic, Synthese 127, 57-93. | MR 1828959 | Zbl 1108.03309

[5] Blackburn, P. & J. Seligman 1998.- What are Hybrid Languages ?, in [Kracht et al., 1998, 41-62]. | MR 1688512 | Zbl 0911.03009

[6] Hughes, G.E. & M.J. Cresswell 1996.- A new introduction to modal logic, London : Routledge, 1996. | MR 1666445 | Zbl 0855.03002

[7] Kracht, De Rijke, Wansing & Zakharyaschev (eds.) 1998.- Advances in Modal Logic, Vol. 1, Stanford : CSLI Publications, 1998. | MR 1688509

[8] Lewis, C.I. & C.H. Langford 1932.- Symbolic Logic, New York : Dover Publications, 1932. | MR 105349

[9] Lorenzen, P. 1958.- Logik und Agon, Acti del XII Congresso Internationale de Filosofia, Venezia, 1958, 187-194. Reproduit dans [Lorenzen & Lorenz 1978].

[10] Lorenzen, P. & K. Lorenz 1978.- Dialogische Logik, Darmstadt : WBG, 1978. | MR 668521

[11] Rahman, S. 1993.- Über Dialogue, protologische Kategorien und andere Seltenheiten, Frankfurt a. M., Berlin, New York, Paris, Wien : Peter Lang Verlag, 1993.

[12] Rahman, S. 2002.- Un desafío para las teorías cognitivas de la competencia lógica : los fundamentos pragmáticos de la semántica de la lógica linear, in [Wrigley 2002, 383-432].

[13] Rahman, S. 2004.- Non Normal Dialogics for a Wonderful World and More, to appear in [van Benthem et al. 2004]. | Zbl 1123.03007

[14] Rahman, S. & L. Keiff 2004.- On How to be a Dialogician. A Short Overview on recent Developements on Dialogic, Argumentation and Games, à paraître dans [Vandervecken 2004]

[15] Rahman, S. & H. Rückert 2001a.- Dialogische Modallogik (für T, B, S4, und S5), Logique & Analyse, vol. 167-168, 243-282. | MR 1947592 | Zbl 1015.03026

[16] Rahman, S. & H. Rückert (eds.) 2001d.- New Perspectives in Dialogical Logic, Special Issue of Synthese, 127, 2001. | MR 1828961 | Zbl 0978.00016

[17] Seligman, J. 2001.- Internalization : The Case of Hybrid Logics, Journal of Logic and Computation, vol.11-5, 671-689. | MR 1866653 | Zbl 0991.03024

[18] Wrigley, M.B. (ed.) 2002.- Dialogue, Language, Rationality. A Festschrift for Marcelo Dascal, Volume spécial de Manuscrito, XXV-2, 2002.