Linear temporal logic LTL: basis for admissible rules
From MaRDI portal
Recommendations
- Logical consecutions in discrete linear temporal logic
- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
- Linear temporal logic with until and next, logical consecutions
- Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
- Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
Cited in
(27)- Multiagent temporal logics with multivaluations
- Temporal multi-valued logic with lost worlds in the past
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Branching time logics with multiagent temporal accessibility relations
- Multiagent temporal logics, unification problems, and admissibilities
- Multi-agent logics with multi-valuations and intensional logical operations
- Branching time agents logics, satisfiability problem by rules in reduced form
- Inference rules in Nelson's logics, admissibility and weak admissibility
- Admissibility via natural dualities
- On rules
- Inference in temporal next-time logic
- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
- Tutorial on admissible rules in Gudauri
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- scientific article; zbMATH DE number 2097569 (Why is no real title available?)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
- Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
- Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Dynamic temporal logical operations in multi-agent logics
- Satisfiability problem in interval FP-logic
- Formulas expressing totally nonstable truth values of formulas
- Admissibility and unification in the modal logics related to S4.2
- Best unifiers in transitive modal logics
- Temporal logic with accessibility temporal relations generated by time states themselves
- Linear temporal logic with until and next, logical consecutions
This page was built for publication: Linear temporal logic LTL: basis for admissible rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3006112)
