Bases of admissible inference rules for table modal logics of depth 2

1996 ◽  
Vol 35 (5) ◽  
pp. 344-349 ◽  
Author(s):  
V. V. Rimatskii
Keyword(s):  
Modal Logics ◽  
Inference Rules ◽  
Admissible Inference Rules

An explicit basis for admissible inference rules in table modal logics of width 2

2009 ◽  
Vol 48 (1) ◽  
pp. 72-86
Author(s):  
V. V. Rimatskii
Keyword(s):  
Modal Logics ◽  
Inference Rules ◽  
Admissible Inference Rules

scholarly journals Admissible Inference Rules and Semantic Property of Modal Logics

2021 ◽  
Vol 37 ◽  
pp. 104-117
Author(s):  
V.V. Rimatskiy ◽  
Keyword(s):  
Modal Logic ◽  
Inference Rule ◽  
Expressive Power ◽  
Modal Logics ◽  
Human Reasoning ◽  
Inference Rules ◽  
Semantic Property ◽  
Admissible Rule ◽  
Admissible Inference Rules ◽  
Deductive Power

Firstly semantic property of nonstandart logics were described by formulas which are peculiar to studied a models in general, and do not take to consideration a variable conditions and a changing assumptions. Evidently the notion of inference rule generalizes the notion of formulas and brings us more flexibility and more expressive power to model human reasoning and computing. In 2000-2010 a few results on describing of explicit bases for admissible inference rules for nonstandard logics (S4, K4, H etc.) appeared. The key property of these logics was weak co-cover property. Beside the improvement of deductive power in logic, an admissible rule are able to describe some semantic property of given logic. We describe a semantic property of modal logics in term of admissibility of given set of inference rules. We prove that modal logic over logic 𝐺𝐿 enjoys weak co-cover property iff all given rules are admissible for logic.

Intermediate logics preserving admissible inference rules of heyting calculus

1993 ◽  
Vol 39 (1) ◽  
pp. 403-415 ◽  
Author(s):  
Vladimir V. Rybakov
Keyword(s):  
Inference Rules ◽  
Intermediate Logics ◽  
Admissible Inference Rules

Modal logics preserving admissible for S4 inference rules

1995 ◽  
pp. 512-526 ◽  
Author(s):  
Vladimir V. Rybakov
Keyword(s):  
Modal Logics ◽  
Inference Rules

Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation

2015 ◽  
Vol 56 (3) ◽  
pp. 455-470
Author(s):  
A. N. Luk’yanchuk ◽  
V. V. Rybakov
Keyword(s):  
Linear Logic ◽  
Inference Rules ◽  
Logic Of Knowledge ◽  
Time Relation ◽  
Admissible Inference Rules

Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules

2005 ◽  
Vol 13 (2) ◽  
pp. 201-209 ◽  
Author(s):  
M.I. Golovanov ◽  
A.V. Kosheleva ◽  
V. Rybakov
Keyword(s):  
Inference Rules ◽  
Admissible Inference Rules

Table admissible inference rules

2009 ◽  
Vol 48 (3) ◽  
pp. 228-236
Author(s):  
V. V. Rimatskii
Keyword(s):  
Inference Rules ◽  
Admissible Inference Rules
Sign in / Sign up

Export Citation Format

Share Document