Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK

DOI10.17516/1997-1397-2016-9-2-149-157OpenAlexW2526139087MaRDI QIDQ5852970

Stepan I. Bashmakov

Publication date: 18 March 2021

Published in: Journal of Siberian Federal University. Mathematics & Physics (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/jsfu470

zbMATH Keywords

unificationmodal temporal logicpassive inference rules

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (2)

Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

Cites Work

• Unnamed Item
• 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
• Rules with parameters in modal logic. I.
• 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
• Temporal Verification of Reactive Systems: Response
• 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
• Writing out unifiers for formulas with coefficients in intuitionistic logic
• Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
• Projective formulas and unification in linear temporal logic LTLU
• 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: Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK