| bibtype |
A -
Abstract
|
| ARLID |
0430592 |
| utime |
20240103204523.0 |
| mtime |
20140819235959.9 |
| title
(primary) (eng) |
Two-layer modal logics: from fuzzy logics to a general framework |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0430590 |
| ISSN |
2040-557X |
| title
|
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic |
| page_num |
43-47 |
| publisher |
| place |
University of Manchester |
| name |
EasyChair Conference System |
| year |
2014 |
|
| editor |
|
| editor |
|
| editor |
|
|
| keyword |
two-level modal logic |
| keyword |
logics of uncertainty |
| keyword |
theory of probability |
| keyword |
weakly implicative logics |
| keyword |
Kripke frames |
| author
(primary) |
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
Department of Theoretical Computer Science |
| institution |
UIVT-O |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0293476 |
| name1 |
Noguera |
| name2 |
Carles |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| institution |
UTIA-B |
| full_dept |
Department of Decision Making Theory |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| source |
|
| cas_special |
| project |
| project_id |
GAP202/10/1826 |
| agency |
GA ČR |
| ARLID |
cav_un_auth*0260903 |
|
| action |
| ARLID |
cav_un_auth*0293891 |
| name |
TACL 2013 |
| place |
Nashville |
| dates |
28.07.2013-01.08.2013 |
| country |
US |
|
| reportyear |
2015 |
| RIV |
BA |
| mrcbC52 |
4 R 4r 20231122140354.2 |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0235501 |
| confidential |
S |
| arlyear |
2014 |
| mrcbTft |
\nSoubory v repozitáři: a0430592.pdf |
| mrcbU63 |
cav_un_epca*0430590 TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic 2040-557X 43 47 University of Manchester EasyChair Conference System 2014 EPiC 25 |
| mrcbU67 |
Galatos N. 340 |
| mrcbU67 |
Kurz A. 340 |
| mrcbU67 |
Tsinakis C. 340 |
|