Description of Modal Logics Inheriting Admissible Rules for K4

DOI10.1093/JIGPAL/10.4.401zbMath1008.03012OpenAlexW2006135801WikidataQ125968577 ScholiaQ125968577MaRDI QIDQ4779583

Çiğdem Gencer

Publication date: 10 December 2002

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

Full work available at URL: https://doi.org/10.1093/jigpal/10.4.401

zbMATH Keywords

modal logicKripke modelsfinite model propertyadmissible inference rulesco-cover property

Mathematics Subject Classification ID

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

Related Items (3)

Admissibility and Unifiability in Contact Logics ⋮ Contact Logic is Finitary for Unification with Constants ⋮ 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 K4