Description of modal logics inheriting admissible rules for S4

DOI10.1093/jigpal/7.5.655zbMath0942.03031OpenAlexW4230470075MaRDI QIDQ4934059

Çiğdem Gencer, Tahsin Oner, Vladimir Vladimirovich Rybakov

Publication date: 15 August 2000

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/45b28bd4987addb7f04ee46eaa7746ffdd750083

zbMATH Keywords

admissible ruletabular modal logicco-cover poster of a finite frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

This page was built for publication: Description of modal logics inheriting admissible rules for S4