Hereditarily structurally complete modal logics
From MaRDI portal
Publication:4836055
DOI10.2307/2275521zbMath0836.03014OpenAlexW2138544762MaRDI QIDQ4836055
Vladimir Vladimirovich Rybakov
Publication date: 2 May 1996
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275521
Related Items
Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL, Structural and universal completeness in algebra and logic, HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS, Singly generated quasivarieties and residuated structures, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms, Linear temporal logic with until and next, logical consecutions, Hereditarily structurally complete superintuitionistic deductive systems, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Structural completeness in many-valued logics with rational constants
Cites Work
- Der Verband der normalen verzweigten Modallogiken
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- Pretabular varieties of modal algebras
- A lattice of normal modal logics
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Derivability of admissible rules
- ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
- The Logics Containing S 4.3