The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC
From MaRDI portal
Publication:1317616
DOI10.1007/BF02259929zbMath0795.03017MaRDI QIDQ1317616
Publication date: 12 April 1994
Published in: Algebra and Logic (Search for Journal in Brave)
algorithmsdecidabilitysuperintuitionistic logicadmissibility problemKuznetsov-Friedman problemmodal companionWeak Law of Excluded Middle
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)
Related Items
Cites Work