scientific article; zbMATH DE number 3554258

Cited in

(41)

Canonical varieties with no canonical axiomatisation
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
scientific article; zbMATH DE number 7471716 (Why is no real title available?)
Krull dimension in modal logic
Some characterization and preservation theorems in modal logic
New constants in the superintuitionistic logic L2
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
Necessity of non-stratified and anti-stratified spaces in lattice-valued topology
Intermediate logics preserving admissible inference rules of heyting calculus
Dummett logic, irreflexive modality and Novikov completeness
Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness
Der Verband der normalen verzweigten Modallogiken
Algebraization of quantifier logics, an introductory overview
Duality between modal algebras and neighbourhood frames
Logical semantics as an empirical science
Strong completeness with respect to finite Kripke models
Kripke completeness of strictly positive modal logics over meet-semilattices with operators
Modal companions of intermediate propositional logics
Modes of adjointness
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
Duality and completeness for US-logics
Algebraic semantics for hybrid logics
Critical modal logics containing the Brouwer axiom
The theory of Boolean algebras with an additional binary operation
On logics with coimplication
A new solution to a problem of Hosoi and Ono
Q-ultrafilters and normal ultrafilters in B-algebras
A new constant in superintuitionistic logic L3
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
Modal logic with names
Semantics in Banach spaces
On canonicity and completions of weakly representable relation algebras
Bare canonicity of representable cylindric and polyadic algebras

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)