Admissibility and unification in the modal logics related to S4.2

DOI10.1134/S0037446624010154OpenAlexW4391620296MaRDI QIDQ6153443

Vladimir Vladimirovich Rybakov

Publication date: 14 February 2024

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

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

zbMATH Keywords

modal logicunificationadmissible rulesprojective formulasadmissibility problemcomputation of unifiers

Mathematics Subject Classification ID

Artificial intelligence (68Txx) General logic (03Bxx) Varieties (08Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Proof theory for admissible rules
• Admissibility of logical inference rules
• Best solving modal equations
• Unification in modal logic
• Rules with parameters in modal logic. I.
• Non-unifiability in linear temporal logic of knowledge with multi-agent relations
• Temporal logic and state systems
• On the admissible rules of intuitionistic propositional logic
• Unification in the Description Logic EL
• Unification in modal and description logics
• Projective unification in modal logic
• Unification in a Description Logic with Transitive Closure of Roles
• Linear Temporal Logic LTL: Basis for Admissible Rules
• Writing out Unifiers in Linear Temporal Logic
• Independent Bases of Admissible Rules
• 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
• Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
• Unification with parameters in the implication fragment of classical propositional logic
• Filtering unification and most general unifiers in modal logic
• Logical consecutions in discrete linear temporal logic
• A Machine-Oriented Logic Based on the Resolution Principle
• Admissible Rules of Modal Logics
• Unification of concept terms in description logics

This page was built for publication: Admissibility and unification in the modal logics related to S4.2