Description of Modal Logics Inheriting Admissible Rules for K4

DOI10.1093/JIGPAL/10.4.401MaRDI QIDQ4779583zbMATH OpenOpenAlexWikidataFDO

Authors Çiğdem Gencer

Publication date 10 December 2002

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

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

zbMATH Keywords

admissible inference rulesco-cover propertyfinite model propertyKripke modelsmodal logic

Mathematics Subject Classification ID

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

Recommendations

• Description of modal logics inheriting admissible rules for S4
• scientific article; zbMATH DE number 1873430
• scientific article; zbMATH DE number 1499106
• scientific article; zbMATH DE number 2079050
• Admissible inference rules and semantic property of modal logics

Cited in

(8)

• Description of modal logics which enjoy co-cover property
• Contact logic is finitary for unification with constants
• Admissibility and Unifiability in Contact Logics
• scientific article; zbMATH DE number 2079050 (Why is no real title available?)
• scientific article; zbMATH DE number 1499106 (Why is no real title available?)
• scientific article; zbMATH DE number 1873430 (Why is no real title available?)
• Description of modal logics inheriting admissible rules for S4
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4779583)