Multi-agent logics with dynamic accessibly relations, projective unifiers

DOI10.1007/s10469-022-09677-9OpenAlexW4289930391MaRDI QIDQ2165613

Vladimir Vladimirovich Rybakov

Publication date: 22 August 2022

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-022-09677-9

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Cites Work

• Unnamed Item
• Unification, finite duality and projectivity in varieties of Heyting algebras
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Linear temporal logic with until and next, logical consecutions
• Multiagent temporal logics with multivaluations
• Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
• Branching time agents logics, satisfiability problem by rules in reduced form
• Projective unification in modal logic
• Unification in a Description Logic with Transitive Closure of Roles
• Rules of inference with parameters for intuitionistic logic
• Unification through projectivity
• Projective formulas and unification in linear temporal logic LTLU
• Logical consecutions in discrete linear temporal logic
• Unification of concept terms in description logics

This page was built for publication: Multi-agent logics with dynamic accessibly relations, projective unifiers