DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Modal companion
Modal companion
The Gödel and the Splitting Translations
Modal Logics That Bound the Circumference of Transitive Frames
On the Blok-Esakia Theorem
Esakia's Theorem in the Monadic Setting
Constructive Embeddings of Intermediate Logics
Tense Logic Over Medvedev Frames
On the Minimum Many-Valued Modal Logic Over a Finite Residuated Lattice
Modal Translation of Substructural Logics
Proof Analysis in Intermediate Logics
The Algebra of Topology: Tarski's Program 70 Years Later
Proof Complexity of Non-Classical Logics
A Simple Logic of Functional Dependence
Quantum Logic: a Brief Introduction
Intermediate Logics and Their Modal Companions
A Study of Subminimal Logics of Negation and Their Modal Companions
The Theory of Modal and Intermediate Logics
The Modal Logic of Bayesian Belief Revision
On Strictly Positive Modal Logics with S4.3 Frames
Top View
The Intensional Side of Algebraic-Topological Representation Theorems
Canonical Formulas for the Lax Logic
The Modal Logic of Bayesian Belief Revision
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
On the Modal Logic of Subset and Superset: Tense Logic Over Medvedev Frames
XXI Conference Applications of Logic in Philosophy and the Foundations of Mathematics
Willem Blok and Modal Logic M