Dynamic temporal logical operations in multi-agent logics

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

zbMATH Keywords

multi-agent logicstemporal logicsadmissible inference rulesunification problemsolving algorithms

Mathematics Subject Classification ID

Temporal logic (03B44)

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