scientific article; zbMATH DE number 922620
From MaRDI portal
Publication:4893140
Recommendations
- Uniform interpolation and propositional quantifiers in modal logics
- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
- -programs, uniform interpolation and bisimulation quantifiers for modal logics
- Uniform Lyndon interpolation property in propositional modal logics
- Uniform interpolation for monotone modal logic
Cited in
(49)- The many faces of interpolation
- Uniform interpolation and sequent calculi in modal logic
- Uniform interpolation and coherence
- An open mapping theorem for finitely copresented Esakia spaces
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
- Combination of uniform interpolants via Beth definability
- Combined covers and Beth definability
- Uniform Lyndon interpolation for basic non-normal modal logics
- Uniform interpolation via nested sequents
- Forgetting in multi-agent modal logics
- Uniform interpolation and the existence of sequent calculi
- On modal -calculus with explicit interpolants
- Interpolation properties for provability logics GL and GLP
- Knowledge forgetting in propositional \(\mu\)-calculus
- Inseparability and conservative extensions of description logic ontologies: a survey
- Positive formulas in intuitionistic and minimal logic
- The Logical Difference Problem for Description Logic Terminologies
- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
- Formal Properties of Modularisation
- Mathematical Logic for Life Science Ontologies
- -programs, uniform interpolation and bisimulation quantifiers for modal logics
- A decidability result for the model checking of infinite-state systems
- The Lyndon property and uniform interpolation over the Grzegorczyk logic
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
- Uniform interpolation for propositional and modal team logics
- Uniform interpolation in provability logics
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
- Pitts' quantifiers are not topological quantification
- Rules and arithmetics
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
- Esakia duals of regular Heyting algebras
- Interpolation Property on Visser's Formal Propositional Logic
- Computing sufficient and necessary conditions in CTL: a forgetting approach
- Logic-based ontology comparison and module extraction, with an application to DL-Lite
- Deciding the existence of uniform interpolants over transitive models
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
- Deciding dependence in logic and algebra
- Strictly n-finite varieties of Heyting algebras
- Relative unification in intuitionistic logic: towards the provability logic of HA
- Deciding the existence of interpolants and definitions in first-order modal logic
- Investigating definability in propositional logic via sheaves on Grothendieck topologies
- Uniform Lyndon interpolation for basic non-normal modal and conditional logics
- Uniform interpolation via nested sequents and hypersequents
- Forgetting in answer set programming -- a survey
- Mechanised uniform interpolation for modal logics K, GL, and iSL
- Universal proof theory: semi-analytic rules and uniform interpolation
- Uniform Lyndon interpolation property in propositional modal logics
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 Q4893140)
