Linear Temporal Logic LTL: Basis for Admissible Rules
From MaRDI portal
Publication:3006112
DOI10.1093/logcom/exq020zbMath1233.03026OpenAlexW2121196188MaRDI QIDQ3006112
Sergey Babenyshev, Vladimir Vladimirovich Rybakov
Publication date: 10 June 2011
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exq020
Related Items (22)
On rules ⋮ Multiagent temporal logics with multivaluations ⋮ Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Multiagent temporal logics, unification problems, and admissibilities ⋮ Temporal multi-valued logic with lost worlds in the past ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ Dynamic temporal logical operations in multi-agent logics ⋮ Satisfiability problem in interval FP-logic ⋮ Formulas expressing totally nonstable truth values of formulas ⋮ Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Best unifiers in transitive modal logics ⋮ Branching time logics with multiagent temporal accessibility relations ⋮ Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility ⋮ Temporal logic with accessibility temporal relations generated by time states themselves ⋮ Branching time agents logics, satisfiability problem by rules in reduced form ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ Admissibility via natural dualities
This page was built for publication: Linear Temporal Logic LTL: Basis for Admissible Rules
