Multi-agent temporal logics, information, unification, and projectivity

DOI10.1007/s10469-024-09743-4MaRDI QIDQ6539755

Vladimir V. Rybakov

Publication date: 15 May 2024

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

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
• Refined common knowledge logics or logics of common information
• 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
• Non-transitive linear temporal logic and logical knowledge operations
• Projective unification in modal logic
• Unification in a Description Logic with Transitive Closure of Roles
• Explicit Generic Common Knowledge
• Rules of inference with parameters for intuitionistic logic
• Unification through projectivity
• Justification awareness
• Projective formulas and unification in linear temporal logic LTLU
• Logical consecutions in discrete linear temporal logic

This page was built for publication: Multi-agent temporal logics, information, unification, and projectivity