Non-unifiability in linear temporal logic of knowledge with multi-agent relations

DOI10.17377/SEMI.2016.13.052zbMath1390.03020MaRDI QIDQ2402133

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)

zbMATH Keywords

unificationmodal temporal logicpassive inference rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Satisfiability in a Temporal Multi-valueted Logic Based on Z ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

This page was built for publication: Non-unifiability in linear temporal logic of knowledge with multi-agent relations