Paraconsistent dynamics

dc.contributor.author	Girard, Patrick
dc.contributor.author	Tanaka, Koji
dc.date.accessioned	2015-09-14T04:13:50Z
dc.date.available	2015-09-14T04:13:50Z
dc.date.issued	2015
dc.description.abstract	It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.	en_AU
dc.format	14	en_AU
dc.identifier.issn	0039-7857	en_AU
dc.identifier.uri	http://hdl.handle.net/1885/15378
dc.publisher	Springer Verlag (Germany)	en_AU
dc.rights	© Springer Science+Business Media Dordrecht 2015	en_AU
dc.source	Synthese	en_AU
dc.subject	Paraconsistent logic	en_AU
dc.subject	Dynamic epistemic logic	en_AU
dc.subject	Public announcement	en_AU
dc.subject	Belief revision	en_AU
dc.title	Paraconsistent dynamics	en_AU
dc.type	Journal article	en_AU
dcterms.dateAccepted	2015-04-01
local.contributor.affiliation	Tanaka, Koji, School of Philosophy, CASS Research School of Social Sciences, The Australian National University	en_AU
local.contributor.authoruid	u3618636	en_AU
local.identifier.doi	10.1007/s11229-015-0740-2	en_AU
local.identifier.essn	1573-0964	en_AU
local.publisher.url	http://link.springer.com/	en_AU
local.type.status	Metadata only	en_AU

Downloads

Now showing 1 - 1 of 1