Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation

DOI10.1134/S003744661503009XzbMath1342.03019OpenAlexW2255034849MaRDI QIDQ498234

A. N. Luk'yanchuk, Vladimir Vladimirovich Rybakov

Publication date: 28 September 2015

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

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

zbMATH Keywords

temporal logicepistemic logic\(n\)-characterizing modeladmissibility of inference rulesmulti-modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Bases of admissible rules of the logics S4 and Int
• Admissibility of logical inference rules
• Many-dimensional modal logics: theory and applications
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• One hundred and two problems in mathematical logic
• Unification in intuitionistic logic
• Complete Axiomatizations for Reasoning about Knowledge and Time
• 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
• Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
• Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules

This page was built for publication: Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation