Public Announcements, Topology and Paraconsistency

Can Baskent

Conference Papers Year :

Public Announcements, Topology and Paraconsistency

(1)

Can Baskent

Function : Author

Semantic Analysis of Natural Language

Abstract

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.

Keywords

Public announcement logic topological semantics paraconsistent logic

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Fichier principal

paraconsistentPAL-loft.pdf (169.04 Ko)

Origin : Files produced by the author(s)

Can Baskent : Connect in order to contact the contributor

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

Submitted on : Thursday, December 18, 2014-9:19:33 AM

Last modification on : Saturday, June 25, 2022-7:45:02 PM

Long-term archiving on: Monday, March 23, 2015-1:10:28 PM

Dates and versions

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

Identifiers

HAL Id : hal-01094782 , version 1

Cite

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

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-NLPKD

140 View

111 Download

Public Announcements, Topology and Paraconsistency

Abstract

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share