Multi-agent temporal nontransitive linear logics and the admissibility problem

DOI10.1007/S10469-020-09581-0zbMath1484.03031OpenAlexW3026383078MaRDI QIDQ2213922

Vladimir Vladimirovich Rybakov

Publication date: 3 December 2020

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: http://elib.sfu-kras.ru/handle/2311/142304

zbMATH Keywords

informationmulti-agent logicstemporal logicsdecision algorithmsproblem of admissibility of rules

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Satisfiability problem in interval FP-logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multiagent temporal logics with multivaluations
• Temporal multi-valued logic with lost worlds in the past
• Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
• Strong decidability and strong recognizability
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• The temporal logic of linear time frames with inductions axiom
• Non-transitive linear temporal logic and logical knowledge operations
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
• Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility

This page was built for publication: Multi-agent temporal nontransitive linear logics and the admissibility problem