Displaying similar documents to “Appendice. Introduction à la dialogique modale et hybride”

Dialogique temporelle et hybridation

Laure Damien, Marie-Hélène Gorisse, Shahid Rahman (2004)

Philosophia Scientiae

Similarity:

L’objectif de cet article est de donner une interprétation dialogique de la logique temporelle standard. Dans ce cadre, nous utiliserons les dont Patrick Blackburn s’est servi pour caractériser la logique modale comme logique dialogique.

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.

Preuves et jeux sémantiques

Denis Bonnay (2004)

Philosophia Scientiae

Similarity:

Hintikka makes a distinction between two kinds of games: truth-constituting games and truth-seeking games. His well-known game-theoretical semantics for first-order classical logic and its independence-friendly extension belongs to the first class of games. In order to ground Hintikka’s claim that truth-constituting games are genuine verification and falsification games that make explicit the language games underlying the use of logical constants, it would be desirable to establish a...

Logiques dialogiques ‘multivalentes’

Helge Rückert (2004)

Philosophia Scientiae

Similarity:

Le but de cet article est de montrer comment les logiques dites multivalentes peuvent être formulées dans le cadre de la logique dialogique. Pour formuler les règles de particule pour ces logiques on introduit l’idée de différents modes d’assertion. En donnant ensuite les règles de particule et les règles structurelles appropriées, on peut reconstruire dialogiquement les systèmes standards de logiques multivalentes. Cela est fait explicitement pour la logique à trois valeurs de Łukasiewicz...

Vers une formalisation de l'analyse sémantique de matches en sports collectifs. Application au rugby à XV

Pierre Villepreux, Benjamin Singer (1991)

Mathématiques et Sciences Humaines

Similarity:

Cet article met l'accent sur l'originalité de la démarche adoptée. Dans le domaine de l'étude des sports collectifs, avec comme exemple de référence le rugby à XV, on se place du point de vue formel en utilisant des outils issus de l'informatique théorique. Les techniques de spécification mises en oeuvre sont les automates qui proviennent de la théorie des graphes, et la notation classique BNF, combinée aux Expressions Régulières, vue comme un langage de spécification formelle. L'un...