Projective formulas and unification in linear temporal logic LTL_U

DOI10.1093/JIGPAL/JZU005MaRDI QIDQ5172145zbMATH OpenOpenAlexFDO

Authors Vladimir Rybakov

Publication date 12 February 2015

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzu005

zbMATH Keywords

admissible rulescomputation of unifierslinear temporal logicprojective formulasunification

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Unification in linear temporal logic LTL
• Writing out Unifiers in Linear Temporal Logic
• Projective formulas and unification in linear discrete temporal multi-agent logics
• Projective unification in modal logic
• Unified temporal logic

Cited in

(9)

• Multiagent temporal logics, unification problems, and admissibilities
• Multi-agent logics with dynamic accessibly relations, projective unifiers
• Projective formulas and unification in linear discrete temporal 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
• Dynamic temporal logical operations in multi-agent logics
• Multi-agent temporal logics, information, unification, and projectivity
• Unification in linear temporal logic LTL

This page was built for publication: Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\)

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