Multiagent temporal logics, unification problems, and admissibilities
From MaRDI portal
Recommendations
- Dynamic temporal logical operations in multi-agent logics
- Projective formulas and unification in linear discrete temporal multi-agent logics
- Multi-agent temporal nontransitive linear logics and the admissibility problem
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
- Non-unifiability in linear temporal logic of knowledge with multi-agent relations
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 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
- Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
- Unification in intuitionistic logic
- Unification theory
- Unification through projectivity
Cited in
(5)- On the timed temporal logic planning of coupled multi-agent systems
- scientific article; zbMATH DE number 2088152 (Why is no real title available?)
- scientific article; zbMATH DE number 7324611 (Why is no real title available?)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Dynamic temporal logical operations in multi-agent logics
This page was built for publication: Multiagent temporal logics, unification problems, and admissibilities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2160194)
