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

DOI10.17377/SEMI.2016.13.052MaRDI QIDQ2402133zbMATH OpenFDO

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 https://doi.org/10.17377/SEMI.2016.13.052

zbMATH Keywords

modal temporal logicpassive inference rulesunification

Mathematics Subject Classification ID

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

Recommendations

• Projective formulas and unification in linear discrete temporal multi-agent logics
• Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
• Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• scientific article; zbMATH DE number 2015273
• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation

Cited in

(10)

• Multiagent temporal logics, unification problems, and admissibilities
• Projective formulas and unification in linear discrete temporal multi-agent logics
• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
• scientific article; zbMATH DE number 2015273 (Why is no real title available?)
• scientific article; zbMATH DE number 2064466 (Why is no real title available?)
• Unification in epistemic logics
• 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

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