Temporal multi-valued logic with lost worlds in the past

DOI10.17377/semi.2018.15.039zbMath1436.03154MaRDI QIDQ1669762

Vladimir Vladimirovich Rybakov

Publication date: 4 September 2018

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

informationdecidabilitymany-valued logictemporal logicsatisfiabilitycomputabilitydeciding algorithmsmulti-agent logicnon-transitive time

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Many-valued logic (03B50) Temporal logic (03B44)

Related Items (7)

Satisfiability in a Temporal Multi-valueted Logic Based on Z ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Formulas expressing totally nonstable truth values of formulas ⋮ Multi-agent temporal nontransitive linear logics and the admissibility problem ⋮ Branching time logics with multiagent temporal accessibility relations ⋮ Temporal logic with accessibility temporal relations generated by time states themselves ⋮ Branching time agents logics, satisfiability problem by rules in reduced form

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Linear temporal logic with until and next, logical consecutions
• Refined common knowledge logics or logics of common information
• Model-theoretic inseparability and modularity of description logic ontologies
• Automata for Ontologies
• Query and Predicate Emptiness in Ontology-Based Data Access
• Non-transitive linear temporal logic and logical knowledge operations
• Linear Temporal Logic LTL: Basis for Admissible Rules
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• 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
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Automata, Languages and Programming
• Logical consecutions in discrete linear temporal logic

This page was built for publication: Temporal multi-valued logic with lost worlds in the past