Dynamic temporal logical operations in multi-agent logics
From MaRDI portal
Recommendations
- Multiagent temporal logics, unification problems, and admissibilities
- Projective formulas and unification in linear discrete temporal multi-agent logics
- Multi-agent temporal nontransitive linear logics and the admissibility problem
- Inference rules in multi-agents' temporal logics
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
Cites work
- A Machine-Oriented Logic Based on the Resolution Principle
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Best solving modal equations
- Decision procedures and expressiveness in the temporal logic of branching time
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 1222484 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- Linear temporal logic LTL: basis for admissible rules
- Linear temporal logic with until and next, logical consecutions
- Non-transitive linear temporal logic and logical knowledge operations
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\)
- Projective unification in modal logic
- Rules of inference with parameters for intuitionistic logic
- Unification in intuitionistic logic
- Unification theory
- Unification through projectivity
Cited in
(7)- On the timed temporal logic planning of coupled multi-agent systems
- Multiagent temporal logics, unification problems, and admissibilities
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
- 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-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
This page was built for publication: Dynamic temporal logical operations in multi-agent logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6072992)
