scientific article; zbMATH DE number 2047482

zbMATH Open1034.03017MaRDI QIDQ4451639FDOQ4451639

Authors: E. M. Golovanova 

Publication date: 29 February 2004

Full work available at URL: https://eudml.org/doc/50665

Title of this publication is not available (Why is that?)

zbMATH Keywords

decidabilitymodal logicadmissible inference rule

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Cited In (2)

• Semantic admissibility criteria for deduction rules in S4 and Int
• Projective Beth property in extensions of Grzegorczyk logic

This page was built for publication:

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