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

DOI10.17377/SEMI.2016.13.074MaRDI QIDQ2402145zbMATH OpenOpenAlexFDO

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

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)

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

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)