Unification for Multi-Agent Temporal Logics with Universal Modality.

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.

Authors

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

Keywords

• Unification
• Multi-Agent Logics
• Modal Logic
• Temporal Logic
• Passive Inference Rules