scientific article; zbMATH DE number 3554258

zbMath0356.02016MaRDI QIDQ4128788

Robert Goldblatt

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property, Q-ultrafilters and normal ultrafilters in B-algebras, Difference-restriction algebras of partial functions with operators: discrete duality and completion, MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS, The semantic characterization of modal logical connectives, A new solution to a problem of Hosoi and Ono, Der Verband der normalen verzweigten Modallogiken, Intermediate logics preserving admissible inference rules of heyting calculus, Bare canonicity of representable cylindric and polyadic algebras, Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics, KRULL DIMENSION IN MODAL LOGIC, Some kinds of modal completeness, Kripke semantics for provability logic GLP, New constants in the superintuitionistic logic L2, Strong completeness with respect to finite Kripke models, Unnamed Item, On canonicity and completions of weakly representable relation algebras, Modes of adjointness, Algebraic Semantics for Hybrid Logics, MacNeille completions and canonical extensions, A new constant in superintuitionistic logic L3, The Vietoris functor and modal operators on rings of continuous functions, Algebraization of quantifier logics, an introductory overview, Modal companions of intermediate propositional logics, Necessity of non-stratified and anti-stratified spaces in lattice-valued topology, Duality and completeness for US-logics, Stone coalgebras, Some characterization and preservation theorems in modal logic, Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness, Canonical varieties with no canonical axiomatisation, Dummett Logic, Irreflexive Modality and Novikov Completeness, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, On logics with coimplication, Duality between modal algebras and neighbourhood frames, Irreflexive modality in the intuitionistic propositional logic and Novikov completeness, Critical modal logics containing the Brouwer axiom, Logical semantics as an empirical science, Modal logic with names, Semantics in Banach spaces, The theory of Boolean algebras with an additional binary operation, Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra