Hereditarily structurally complete modal logics
From MaRDI portal
Recommendations
- Hereditarily structurally complete positive logics
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Modal Logics of Some Hereditarily Irresolvable Spaces
- scientific article; zbMATH DE number 1418446
- Completeness and Herbrand theorems for nominal logic
- Hereditarily structurally complete superintuitionistic deductive systems
- Modal logic over finite structures
- scientific article; zbMATH DE number 2149468
- Herbrand theorems for substructural logics
- Classically complete modal relevant logics
Cites work
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- A lattice of normal modal logics
- Der Verband der normalen verzweigten Modallogiken
- Derivability of admissible rules
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
- Pretabular varieties of modal algebras
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- The Logics Containing S 4.3
Cited in
(16)- Hereditarily structurally complete superintuitionistic deductive systems
- Structural completeness in many-valued logics with rational constants
- BCK is not structurally complete
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- scientific article; zbMATH DE number 3873295 (Why is no real title available?)
- scientific article; zbMATH DE number 4202236 (Why is no real title available?)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
- scientific article; zbMATH DE number 1873430 (Why is no real title available?)
- Hereditarily structurally complete positive logics
- Singly generated quasivarieties and residuated structures
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Structural and universal completeness in algebra and logic
- Hereditarily structurally complete extensions of \(\mathbf{RM}\)
- 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
This page was built for publication: Hereditarily structurally complete modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4836055)
