Geodesic
Many-valued multi-modal logics, satisfiability problem
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 15 (2018), pp. 829-838

Voir la notice de l'article provenant de la source Math-Net.Ru

This paper investigates many-valuated multi-modal logics. The suggested semantics consists of relational Kripke–Hintikka models which have various accessibility relations and distinct valuations for propositional statements (letters). So we study a multi-agent approach when each agent has its own accessibility relation and also its own valuation for propositional letters. We suggest the rules for computation of truth values of formulas, illustrate our approach, and study the satisfiability problem. Using a modification of the filtration technique, we obtain a solution for satisfiability problem in basic but most important wide classes of multi-valued multi-modal models. We comment on possible applications and describe open problems.
Keywords: many-valued logic, multi-agent logic, multi-modal logic, computability, satisfiability, decidability, deciding algorithms. 
@article{SEMR_2018_15_a23,
     author = {M. A. Moor and V. V. Rybakov},
     title = {Many-valued multi-modal logics, satisfiability problem},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {829--838},
     publisher = {mathdoc},
     volume = {15},
     year = {2018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2018_15_a23/}
}
TY  - JOUR
AU  - M. A. Moor
AU  - V. V. Rybakov
TI  - Many-valued multi-modal logics, satisfiability problem
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2018
SP  - 829
EP  - 838
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2018_15_a23/
LA  - en
ID  - SEMR_2018_15_a23
ER  - 
%0 Journal Article
%A M. A. Moor
%A V. V. Rybakov
%T Many-valued multi-modal logics, satisfiability problem
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2018
%P 829-838
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2018_15_a23/
%G en
%F SEMR_2018_15_a23
M. A. Moor; V. V. Rybakov. Many-valued multi-modal logics, satisfiability problem. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 15 (2018), pp. 829-838. http://geodesic.mathdoc.fr/item/SEMR_2018_15_a23/