Temporal logic with accessibility temporal relations generated by time states themselves
From MaRDI portal
(Redirected from Publication:779153)
Recommendations
Cites work
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 1223729 (Why is no real title available?)
- scientific article; zbMATH DE number 1749195 (Why is no real title available?)
- A tableau method for checking rule admissibility in S4
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Branching time agents logics, satisfiability problem by rules in reduced form
- Hierarchies of modal and temporal logics with reference pointers
- Inference rules in Nelson's logics, admissibility and weak admissibility
- Linear temporal logic LTL: basis for admissible rules
- Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
- Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
- Linear temporal logic with until and next, logical consecutions
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
- Logical consecutions in discrete linear temporal logic
- Multiagent temporal logics with multivaluations
- Non-transitive linear temporal logic and logical knowledge operations
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- One hundred and two problems in mathematical logic
- Refined common knowledge logics or logics of common information
- Temporal multi-valued logic with lost worlds in the past
- Tense logic and time
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Unification in intuitionistic logic
- Unification of concept terms in description logics
- Unification through projectivity
- Writing out Unifiers in Linear Temporal Logic
Cited in
(2)
This page was built for publication: Temporal logic with accessibility temporal relations generated by time states themselves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q779153)
