Projective formulas and unification in linear temporal logic LTLU
From MaRDI portal
Publication:5172145
DOI10.1093/JIGPAL/JZU005zbMath1342.03017OpenAlexW1992190076MaRDI QIDQ5172145
Vladimir Vladimirovich Rybakov
Publication date: 12 February 2015
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzu005
Related Items (6)
Multiagent temporal logics, unification problems, and admissibilities ⋮ Multi-agent logics with dynamic accessibly relations, projective unifiers ⋮ Dynamic temporal logical operations in multi-agent logics ⋮ Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
This page was built for publication: Projective formulas and unification in linear temporal logic LTLU
