Multiagent temporal logics with multivaluations

DOI10.1134/S0037446618040134zbMath1469.03047OpenAlexW2892081329WikidataQ129280991 ScholiaQ129280991MaRDI QIDQ1617988

Vladimir Vladimirovich Rybakov

Publication date: 13 November 2018

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0037446618040134

zbMATH Keywords

informationknowledgetemporal logicsatisfiabilitydeciding algorithmsmultiagent logicsmultivaluations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Temporal logic (03B44)

Related Items

Satisfiability in a Temporal Multi-valueted Logic Based on Z ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Multi-agent logics with dynamic accessibly relations, projective unifiers ⋮ Formulas expressing totally nonstable truth values of formulas ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ 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
• Unnamed Item
• Unnamed Item
• Linear temporal logic with until and next, logical consecutions
• Proof theory for admissible rules
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Unification in the Description Logic EL
• Non-transitive linear temporal logic and logical knowledge operations
• Unification in a Description Logic with Transitive Closure of Roles
• 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 with Until and Before on Integer Numbers, Deciding Algorithms
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
• Independent Bases of Admissible Rules
• Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
• Admissible Rules of Lukasiewicz Logic
• Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
• Unification in intuitionistic logic
• Unification through projectivity
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility

This page was built for publication: Multiagent temporal logics with multivaluations