A modal logic for epistemic tests - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

A modal logic for epistemic tests

Résumé

We study a modal logic of knowledge and action, fo-cussing on test actions. Such knowledge-gathering actions increase the agents' knowledge. We propose a semantics, and associate an ax-iomatics and a rewriting-based proof procedure.
Fichier principal
Vignette du fichier
A_modal_logic_for_epistemic_tests.pdf (286.05 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03523413 , version 1 (14-01-2022)

Identifiants

  • HAL Id : hal-03523413 , version 1

Citer

Andreas Herzig, Jérôme Lang, Thomas Polacsek. A modal logic for epistemic tests. 14th European Conference on Artificial Intelligence (ECAI 2000), Aug 2000, Berlin, Germany. pp.553-557. ⟨hal-03523413⟩
33 Consultations
25 Téléchargements

Partager

Gmail Facebook X LinkedIn More