Multiagent temporal logics, unification problems, and admissibilities

DOI10.1134/S0037446622040176OpenAlexW4288060937MaRDI QIDQ2160194

Vladimir Vladimirovich Rybakov

Publication date: 3 August 2022

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0037446622040176

zbMATH Keywords

satisfiability problemtemporal logicmultiagent logicdeciding algorithm

Mathematics Subject Classification ID

Artificial intelligence (68Txx) Theory of software (68Nxx) General logic (03Bxx)

Cites Work

• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Linear temporal logic with until and next, logical consecutions
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Multiagent temporal logics, unification problems, and admissibilities