Writing out Unifiers in Linear Temporal Logic
From MaRDI portal
Publication:3165757
DOI10.1093/logcom/exr022zbMath1259.03029OpenAlexW2089585942MaRDI QIDQ3165757
Vladimir Vladimirovich Rybakov
Publication date: 19 October 2012
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exr022
Related Items (7)
On rules ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Formulas expressing totally nonstable truth values of formulas ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Temporal logic with accessibility temporal relations generated by time states themselves ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
This page was built for publication: Writing out Unifiers in Linear Temporal Logic
