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