Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
From MaRDI portal
Publication:5068380
DOI10.17516/1997-1397-2022-15-1-114-124OpenAlexW4293172965MaRDI QIDQ5068380
Vladimir Vladimirovich Rybakov
Publication date: 6 April 2022
Published in: Journal of Siberian Federal University. Mathematics & Physics (Search for Journal in Brave)
Full work available at URL: http://mathnet.ru/eng/jsfu981
informationknowledge representationdecidabilitytemporal logiccomputabilitynon-classical logicsmulti-agencydeciding algorithms
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Tense logic and time
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
- Linear temporal logic with until and next, logical consecutions
- Proof theory for admissible rules
- Parallel action: Concurrent dynamic logic with independent modalities
- Refined common knowledge logics or logics of common information
- Multiagent temporal logics with multivaluations
- Temporal multi-valued logic with lost worlds in the past
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Hierarchies of modal and temporal logics with reference pointers
- Branching time agents logics, satisfiability problem by rules in reduced form
- Inference rules in Nelson's logics, admissibility and weak admissibility
- On the admissible rules of intuitionistic propositional logic
- Non-transitive linear temporal logic and logical knowledge operations
- Linear Temporal Logic LTL: Basis for Admissible Rules
- Bases of Admissible Rules of Lukasiewicz Logic
- Writing out Unifiers in Linear Temporal Logic
- A Tableau Method for Checking Rule Admissibility in S4
- Independent Bases of Admissible Rules
- Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
- One hundred and two problems in mathematical logic
- Unification in intuitionistic logic
- Unification through projectivity
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Extensions of unification modulo ACUI
- Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
- Logical consecutions in discrete linear temporal logic
- Unification of concept terms in description logics
This page was built for publication: Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
