Geodesic
Non-unifiability in linear temporal logic of knowledge with multi-agent relations
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 13 (2016), pp. 656-663

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

The paper is devoted to the study of the unification problem in the linear temporal logic of knowledge with multi-agent relations (denoted in the sequel as $LFPK$). This logic is based on frames (models) with time points represented by integer numbers from $Z$ and the information clusters $C^i$ for $i \in Z$ with multi-agent accessibility relations $R_i$. The first main result is a theorem describing a criterion for formulas to be not unifiable in $LFPK$. The second one is a construction of a basis for all inference rules passive in $LFPK$.
Keywords: modal temporal logic, passive inference rules.
Mots-clés : unification 
@article{SEMR_2016_13_a17,
     author = {S. I. Bashmakov and A. V. Kosheleva and V. Rybakov},
     title = {Non-unifiability in linear temporal logic of knowledge with multi-agent relations},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {656--663},
     publisher = {mathdoc},
     volume = {13},
     year = {2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2016_13_a17/}
}
TY  - JOUR
AU  - S. I. Bashmakov
AU  - A. V. Kosheleva
AU  - V. Rybakov
TI  - Non-unifiability in linear temporal logic of knowledge with multi-agent relations
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2016
SP  - 656
EP  - 663
VL  - 13
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2016_13_a17/
LA  - en
ID  - SEMR_2016_13_a17
ER  - 
%0 Journal Article
%A S. I. Bashmakov
%A A. V. Kosheleva
%A V. Rybakov
%T Non-unifiability in linear temporal logic of knowledge with multi-agent relations
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2016
%P 656-663
%V 13
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2016_13_a17/
%G en
%F SEMR_2016_13_a17
S. I. Bashmakov; A. V. Kosheleva; V. Rybakov. Non-unifiability in linear temporal logic of knowledge with multi-agent relations. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 13 (2016), pp. 656-663. http://geodesic.mathdoc.fr/item/SEMR_2016_13_a17/