Projective formulas and unification in linear discrete temporal multi-agent logics

DOI10.17377/SEMI.2016.13.074zbMath1390.03019OpenAlexW2785980793MaRDI QIDQ2402145

Stepan I. Bashmakov, Anna Vladimirovna Kosheleva, Vladimir Vladimirovich Rybakov

Publication date: 6 September 2017

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: http://elib.sfu-kras.ru/handle/2311/70282

zbMATH Keywords

unificationmodal temporal logicpassive inference rulesmulti-agent relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Related Items (3)

Satisfiability in a Temporal Multi-valueted Logic Based on Z ⋮ Unification in pretabular extensions of S4 ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

This page was built for publication: Projective formulas and unification in linear discrete temporal multi-agent logics