Multiagent temporal logics with multivaluations
From MaRDI portal
Recommendations
- Multi-agent logics with multi-valuations and intensional logical operations
- Temporal multi-valued logic with lost worlds in the past
- Many-valued multi-modal logics, satisfiability problem
- Branching time logics with multiagent temporal accessibility relations
- Multi-valued verification of strategic ability
Cites work
- Admissible Rules of Lukasiewicz Logic
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 1222484 (Why is no real title available?)
- scientific article; zbMATH DE number 1223729 (Why is no real title available?)
- scientific article; zbMATH DE number 1759385 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- Independent Bases of Admissible Rules
- Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
- Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
- Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
- Linear temporal logic LTL: basis for admissible rules
- Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
- Linear temporal logic with until and next, logical consecutions
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
- Non-transitive linear temporal logic and logical knowledge operations
- Proof theory for admissible rules
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Unification in a description logic with transitive closure of roles
- Unification in intuitionistic logic
- Unification in the description logic EL
- Unification through projectivity
Cited in
(18)- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- On the timed temporal logic planning of coupled multi-agent systems
- Branching time logics with multiagent temporal accessibility relations
- Multi-agent logics with dynamic accessibly relations, projective unifiers
- Multi-agent logics with multi-valuations and intensional logical operations
- Multi-agent temporal nontransitive linear logics and the admissibility problem
- Branching time agents logics, satisfiability problem by rules in reduced form
- Comparing semantics of logics for multi-agent systems
- scientific article; zbMATH DE number 2088152 (Why is no real title available?)
- Distributed Reasoning for Multiagent Simple Temporal Problems
- scientific article; zbMATH DE number 7324611 (Why is no real title available?)
- Multi-valued verification of strategic ability
- 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 logics, information, unification, and projectivity
- The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\)
- Temporal logic with accessibility temporal relations generated by time states themselves
This page was built for publication: Multiagent temporal logics with multivaluations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1617988)
