Description of modal logics inheriting admissible rules for S4

1999 ◽  
Vol 7 (5) ◽  
pp. 655-664 ◽  
Author(s):  
V. Rybakov
Keyword(s):  
Modal Logics ◽  
Admissible Rules

scholarly journals Admissible Rules of Modal Logics

2005 ◽  
Vol 15 (4) ◽  
pp. 411-431 ◽  
Author(s):  
Emil Jeřábek
Keyword(s):  
Modal Logics ◽  
Admissible Rules

Bases of admissible rules in modal logics S4.2 and S4.2Grz

1993 ◽  
Vol 32 (2) ◽  
pp. 63-70
Author(s):  
S. V. Babenyshev
Keyword(s):  
Modal Logics ◽  
Admissible Rules

PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS

2016 ◽  
Vol 9 (4) ◽  
pp. 641-663 ◽  
Author(s):  
JOÃO RASGA ◽  
CRISTINA SERNADAS ◽  
AMÍLCAR SERNADAS
Keyword(s):  
Wide Class ◽  
Time Complexity ◽  
Weak Form ◽  
Modal Logics ◽  
Mild Conditions ◽  
Admissible Rules ◽  
Structural Completeness ◽  
Combining Logics

AbstractAdmissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics, under mild conditions. A weak form of structural completeness is proved to be preserved by the combination. Decidability of the set of admissible rules is also shown to be preserved, with no penalty on the time complexity. Examples are provided for the meet-combination of intermediate and modal logics.

Admissible rules for pretable modal logics

1981 ◽  
Vol 20 (4) ◽  
pp. 291-307 ◽  
Author(s):  
V. V. Rybakov
Keyword(s):  
Modal Logics ◽  
Admissible Rules

Modal logics with Belnapian truth values

2010 ◽  
Vol 20 (3) ◽  
pp. 279-304 ◽  
Author(s):  
Serge P Odintsov ◽  
Heinrich Wansing
Keyword(s):  
Modal Logics ◽  
Truth Values

scholarly journals On modal logics arising from scattered locally compact Hausdorff spaces

2019 ◽  
Vol 170 (5) ◽  
pp. 558-577
Author(s):  
Guram Bezhanishvili ◽  
Nick Bezhanishvili ◽  
Joel Lucero-Bryan ◽  
Jan van Mill
Keyword(s):  
Modal Logics ◽  
Hausdorff Spaces ◽  
Locally Compact

Modal logics of domains on the real plane

Studia Logica ◽  
1983 ◽  
Vol 42 (1) ◽  
pp. 63-80 ◽  
Author(s):  
V. B. Shehtman
Keyword(s):  
Modal Logics ◽  
Real Plane ◽  
The Real
Sign in / Sign up

Export Citation Format

Share Document