A decidable noncompact extension of the logic S4
From MaRDI portal
Publication:599805
DOI10.1007/BF01670114zbMath0415.03012MaRDI QIDQ599805
Vladimir Vladimirovich Rybakov
Publication date: 1979
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187009
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items
Cites Work