| bibtype |
A -
Abstract
|
| ARLID |
0508274 |
| utime |
20240103222523.0 |
| mtime |
20190911235959.9 |
| title
(primary) (eng) |
General Neighborhood and Kripke Semantics for Modal Many-Valued Logics |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0508260 |
| title
|
LATD 2018. Proceedings |
| page_num |
31-34 |
| publisher |
| place |
Bern |
| name |
University of Bern |
| year |
2018 |
|
|
| 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*0362702 |
| name1 |
Menchón |
| name2 |
P. |
| country |
AR |
|
| 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. |
|
| cas_special |
| project |
| ARLID |
cav_un_auth*0349495 |
| project_id |
GA17-04630S |
| agency |
GA ČR |
|
| abstract
(eng) |
In modal extensions of classical logic, Kripke frames and Scott–Montague neighborhood frames (see e.g. [21, 26]) provide two, widely used, different kinds of frame semantics; the former is intended for normal modal logics (i.e. extensions of K), while the latter works as well for non-normal modal logics extending the weaker system E. However, not all logics extending these basic logics are complete with respect to a class of corresponding frames.\n |
| action |
| ARLID |
cav_un_auth*0379564 |
| name |
LATD 2018: Logic, Algebra and Truth Degrees /6./ |
| dates |
20190828 |
| place |
Bern |
| country |
CH |
| mrcbC20-s |
20190831 |
|
| reportyear |
2020 |
| mrcbC52 |
4 X 4x 20231122144236.3 |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0299230 |
| confidential |
S |
| arlyear |
2018 |
| mrcbTft |
\nSoubory v repozitáři: LATD2018.pdf |
| mrcbU14 |
SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
WOS |
| mrcbU63 |
cav_un_epca*0508260 LATD 2018. Proceedings 31 34 Bern University of Bern 2018 |
|