Author name cluster

Anna V. Kosheleva

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

FLAP Journal 2017 Journal Article

Unification for Multi-Agent Temporal Logics with Universal Modality.

Stepan I. Bashmakov
Anna V. Kosheleva
Vladimir V. Rybakov

We investigate the unification problem for all logics with expressible uni- versal modality. The main results are syntactic conditions for formulas to be not unifiable and theorems describing bases for inference rules passive in such logics. Then we apply these results to various logics, in particular to linear temporal logics with time states with agents logical operations, and even to some branching time logics with multi-agents logical operations.

PDF Details