scientific article

Publication date: 30 June 2005

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

interpolation modal logic definability intuitionistic logics

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Interpolation, preservation, definability (03C40) Intermediate logics (03B55)

Related Items

Hybrid extensions of the minimal logic, Algorithms for recognizing restricted interpolation over the modal logic S4, Extensions of the minimal logic and the interpolation problem, The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond, Layers over minimal logic, Propositional union closed team logics, Uniform interpolation from cyclic proofs: the case of modal mu-calculus, Modal bilattice logic and its extensions, Interpolation via translations, Interconnection of the lattices of extensions of four logics, A Lindström theorem for intuitionistic propositional logic, Interpolation properties in the extensions of the logic of inequality, Joint consistency in extensions of the minimal logic, A computational glimpse at the Leibniz and Frege hierarchies, The logic of the strongest and the weakest t-norms, The projective Beth property in well-composed logics, Epimorphisms in varieties of residuated structures, Varying interpolation and amalgamation in polyadic MV-algebras, Recognizable logics, Rings and Gödel algebras., Interpolation in extensions of first-order logic, Simple weakly transitive modal algebras, A category equivalence for odd Sugihara monoids and its applications, A Lindström theorem for intuitionistic first-order logic, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, The decidability of Craig's interpolation property in well-composed J-logics, Universal algebraic methods for non-classical logics, Synonymous theories and knowledge representations in answer set programming, Epimorphism surjectivity in varieties of Heyting algebras, Conservative expansions of substructural logics, Perceptibility in pre-Heyting logics, Weak interpolation in extensions of the logics S4 and K4, Restricted interpolation property in superintuitionistic logics, Decidability of the interpolation problem and of related properties in tabular logics, Projective Beth property in extensions of Grzegorczyk logic, RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC, Strong decidability and strong recognizability, Classification of extensions of the modal logic S4, Strong computability of slices over the logic GL, Interpolation and definability over the logic Gl, Not every splitting Heyting or interior algebra is finitely presentable, Preservation of Craig interpolation by the product of matrix logics, On classical behavior of intuitionistic modalities, The lattice of Belnapian modal logics: Special extensions and counterparts, The Lyndon property and uniform interpolation over the Grzegorczyk logic, Amalgamation through quantifier elimination for varieties of commutative residuated lattices, Epimorphisms in varieties of subidempotent residuated structures, Modal interpolation via nested sequents, Linearly ordered sets with only one operator have the amalgamation property, LC and Its Pretabular Relatives, Through an Inference Rule, Darkly, Interpolation over the minimal logic and Odintsov intervals, The structure of slices over minimal logic, The tabularity problem over the minimal logic, Recognizable and perceptible logics and varieties, Amalgamation and interpolation in ordered algebras., The institution-theoretic scope of logic theorems, Craig interpolation in the presence of unreliable connectives, Interpolation in weakly transitive modal logics, Interpolation and the projective Beth property in well-composed logics, Decidability of the weak interpolation property over the minimal logic, BELIEF REVISION IN NON-CLASSICAL LOGICS, The interpolation problem in finite-layered pre-Heyting logics, Definability and interpolation in non-classical logics, Interpolation and Beth's property in propositional many-valued logics: a semantic investigation, Common knowledge does not have the Beth property, Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, Multicomponent proof-theoretic method for proving interpolation properties, Maksimova, Relevance and the Study of Lattices of Non-classical Logics, Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics, Lattice NExtS4 from the Embedding Theorem Viewpoint, On Algebraisation of Superintuitionistic Predicate Logics, Amalgamation, interpolation, and implicit definability in varieties of algebras, Proof Complexity of Non-classical Logics, Epimorphisms, definability and cardinalities, Interpolation in non-classical logics, The class of polyadic algebras has the super amalgamation property, On semiconic idempotent commutative residuated lattices, Uniform Lyndon interpolation property in propositional modal logics, Idempotent residuated structures: Some category equivalences and their applications, Restricted interpolation over modal logic S4, Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics, The G4i analogue of a G3i sequent calculus, Failure of Interpolation in Constant Domain Intuitionistic Logic, Craig interpolation for semilinear substructural logics