Public Announcements, Topology and Paraconsistency - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Public Announcements, Topology and Paraconsistency

Can Baskent
  • Fonction : Auteur
Semantic Analysis of Natural Language

Résumé

In this paper, we discuss public announcement logic in topological con-text. Then, as an interesting application, we consider public announcement logic in a paraconsistent topological model.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
paraconsistentPAL-loft.pdf (169.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Can Baskent  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01094782

Soumis le : jeudi 18 décembre 2014-09:19:33

Dernière modification le : lundi 11 septembre 2023-17:41:18

Archivage à long terme le : lundi 23 mars 2015-13:10:28

Télécharger pour visualiser

Dates et versions

hal-01094782 , version 1 (18-12-2014)

Identifiants

  • HAL Id : hal-01094782 , version 1

Citer

Can Baskent. Public Announcements, Topology and Paraconsistency. Informal Proceedings of LOFT Conference 2014, Jul 2014, Bregen, Norway. ⟨hal-01094782⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-NLPKD
142 Consultations
125 Téléchargements

Partager

Gmail Facebook X LinkedIn More