Admissibility and unification in the modal logics related to S4.2
From MaRDI portal
Publication:6153443
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
modal logicunificationadmissible rulesprojective formulasadmissibility problemcomputation of unifiers
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
