0480886 20240103214859.420171104235959.9 85031759745 000436569200006 10.1016/j.fss.2017.10.009 14 s. cav_un_epca*02566420165-011434599-112Elsevier mathematical fuzzy logic modal fuzzy logics neighborhood frames Kripke semantics many-valued logics cav_un_auth*0100737 Cintula Petr Oddělení teoretické informatiky Department of Theoretical Computer Science UIVT-O Department of Theoretical Computer Science Ústav informatiky AV ČR, v. v. i. cav_un_auth*0293476 Noguera Carles Matematická teorie rozhodování Department of Decision Making Theory MTR MTR UTIA-B Department of Decision Making Theory K Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0323282 GF15-34650L GA ČR CZ cav_un_auth*0348811 JSPS-16-08 AV ČR CZ JP cav_un_auth*0339025 689176 EC XE cav_un_auth*0328078 I1897-N25 Austrian Science Fund AT The majority of works on modal many-valued logics consider Kripke-style possible worlds frames as the principal semantics despite their well-known axiomatizability issues when considering non-Boolean accessibility relations. The present work explores a more general semantical picture, namely a many-valued version of the classical neighborhood semantics. We present it in two levels of generality. First, we work with modal languages containing only the two usual unary modalities, define neighborhood frames over algebras of the logic FLew with operators, and show their relation with the usual Kripke semantics (this is actually the highest level of generality where one can give a straightforward definition of the Kripke-style semantics). Second, we define generalized neighborhood frames for arbitrary modal languages over a given class of algebras for an arbitrary protoalgebraic logic and, assuming certain additional conditions, axiomatize the logic of all such frames (which generalizes the completeness theorem of the classical modal logic E with respect to classical neighborhood frames). BA 10000 10200 10201 2019 UTIA-B 10000 10100 10101 4 A O 4a 4o 20231122142800.5 UTIA-B BA RVO:67985807 RVO:67985556 http://hdl.handle.net/11104/0276553 S 2 Article Computer Science Theory Methods|Mathematics Applied|Statistics Probability COMPUTERSCIENCE.THEORY&METHODS|MATHEMATICS.APPLIED|STATISTICS&PROBABILITY 2.997 0.973 17.3 0.00849 0.63 17630 1.347 2.560 186 Q1 44.862 89.7 Q3 Q1* 1.98 Q1 94.715 2018 Soubory v repozitáři: a0480886.pdf, 0480886.pdf 85031759745 SCOPUS PUBMED 000436569200006 WOS cav_un_epca*0256642 Fuzzy Sets and Systems 0165-0114 1872-6801 Roč. 345 15 August 2018 99 112 Elsevier