Dynamic many-valued logics for searching games with errors

TEHEUX, Bruno

Download

Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)

Dynamic many-valued logics for searching games with errors

TEHEUX, Bruno

2013 • Manyval 2013

Permalink
https://hdl.handle.net/10993/7562

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

AbstractManyVal2013_paper4.pdf

Author preprint (236.44 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

dynamic logic; many-valued logic; modal logic

Disciplines :

Mathematics

Author, co-author :

TEHEUX, Bruno ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit

Language :

English

Title :

Dynamic many-valued logics for searching games with errors

Publication date :

2013

Event name :

Manyval 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 :

Prague, Czechia

Event date :

from 04-09-2013 to 06-09-2013

Audience :

International

Available on ORBilu :

since 03 October 2013

Statistics

Number of views

60 (3 by Unilu)

Number of downloads

62 (0 by Unilu)

More statistics