Displaying similar documents to “Preuves et jeux sémantiques”

Heuristique formelle et logiques modales non-normales

Laurent Keiff (2004)

Philosophia Scientiae

Similarity:

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.