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

DOI10.17377/SEMI.2016.13.074zbMATH Open1390.03019OpenAlexW2785980793MaRDI QIDQ2402145FDOQ2402145

Authors: Stepan I. Bashmakov, Anna Vladimirovna Kosheleva, Vladimir Rybakov 

Publication date: 6 September 2017

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

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

Recommendations

• Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\)
• Unification in linear temporal logic LTL
• Non-unifiability in linear temporal logic of knowledge with multi-agent relations
• Writing out Unifiers in Linear Temporal Logic
• Projective unification in modal logic

zbMATH Keywords

unificationmodal temporal logicmulti-agent relationspassive inference rules

Mathematics Subject Classification ID

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

Cited In (6)

• Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\)
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• Unification in pretabular extensions of S4
• Non-unifiability in linear temporal logic of knowledge with multi-agent relations
• Dynamic temporal logical operations in multi-agent logics
• Satisfiability in a Temporal Multi-valueted Logic Based on Z

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2402145)