scientific article; zbMATH DE number 3554258

Cited in

(43)

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

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)