scientific article; zbMATH DE number 3554258
From MaRDI portal
Publication:4128788
zbMATH Open0356.02016MaRDI QIDQ4128788FDOQ4128788
Authors: Robert Goldblatt 
Publication date: 1976
Title of this publication is not available (Why is that?)
Cited In (41)
- The semantic characterization of modal logical connectives
- Kripke semantics for provability logic GLP
- Some kinds of modal completeness
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
- MacNeille completions and canonical extensions
- Title not available (Why is that?)
- Krull dimension in modal logic
- New constants in the superintuitionistic logic L2
- Some characterization and preservation theorems in modal logic
- The Vietoris functor and modal operators on rings of continuous functions
- Stone coalgebras
- Difference-restriction algebras of partial functions with operators: discrete duality and completion
- Intermediate logics preserving admissible inference rules of heyting calculus
- Necessity of non-stratified and anti-stratified spaces in lattice-valued topology
- Dummett logic, irreflexive modality and Novikov completeness
- Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness
- Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Der Verband der normalen verzweigten Modallogiken
- Algebraization of quantifier logics, an introductory overview
- Duality between modal algebras and neighbourhood frames
- Kripke completeness of strictly positive modal logics over meet-semilattices with operators
- Strong completeness with respect to finite Kripke models
- Logical semantics as an empirical science
- Modal companions of intermediate propositional logics
- Modes of adjointness
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
- Duality and completeness for US-logics
- Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
- Algebraic semantics for hybrid logics
- Critical modal logics containing the Brouwer axiom
- A new solution to a problem of Hosoi and Ono
- On logics with coimplication
- The theory of Boolean algebras with an additional binary operation
- Q-ultrafilters and normal ultrafilters in B-algebras
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- A new constant in superintuitionistic logic L3
- Modal logic with names
- On canonicity and completions of weakly representable relation algebras
- Semantics in Banach spaces
- Bare canonicity of representable cylindric and polyadic algebras
- Canonical varieties with no canonical axiomatisation
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 Q4128788)
