Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge

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

zbMATH Keywords

informationknowledge representationdecidabilitytemporal logiccomputabilitynon-classical logicsmulti-agencydeciding algorithms

Mathematics Subject Classification ID

Artificial intelligence (68Txx) General logic (03Bxx) Mathematical logic and foundations (03-XX)

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