Dynamic temporal logical operations in multi-agent logics
From MaRDI portal
Publication:6072992
DOI10.1007/s10469-023-09708-zOpenAlexW4386294202MaRDI QIDQ6072992
Vladimir Vladimirovich Rybakov
Publication date: 15 September 2023
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-023-09708-z
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- Linear temporal logic with until and next, logical consecutions
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Best solving modal equations
- Decision procedures and expressiveness in the temporal logic of branching time
- Non-transitive linear temporal logic and logical knowledge operations
- Projective unification in modal logic
- Linear Temporal Logic LTL: Basis for Admissible Rules
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Rules of inference with parameters for intuitionistic logic
- Unification in intuitionistic logic
- Unification through projectivity
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Projective formulas and unification in linear temporal logic LTLU
- A Machine-Oriented Logic Based on the Resolution Principle
This page was built for publication: Dynamic temporal logical operations in multi-agent logics