Dynamic many-valued logics for searching games with errors

Reference : Dynamic many-valued logics for searching games with errors


	Document type :	Scientific congresses, symposiums and conference proceedings : Unpublished conference
	Discipline(s) :	Physical, chemical, mathematical & earth Sciences : Mathematics
	To cite this reference:	http://hdl.handle.net/10993/7562

Title :	Dynamic many-valued logics for searching games with errors
Language :	English
Author, co-author :	Teheux, Bruno [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >]
Publication date :	2013
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	Manyval 2013
Event date :	from 04-09-2013 to 06-09-2013
Event organizer :	Institute of Computer Science, Academy of Sciences of the Czech Republic
	Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic
	Institute of Philosophy, Academy of Sciences of the Czech Republic
Event place (city) :	Prague
Event country :	Czech Republic
Keywords :	[en] dynamic logic ; many-valued logic ; modal logic
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/7562

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	AbstractManyVal2013_paper4.pdf		Author preprint	230.9 kB	View/Open

All documents in ORBi^lu are protected by a user license.