scientific article; zbMATH DE number 922620
From MaRDI portal
Publication:4893140
zbMath0854.03026MaRDI QIDQ4893140
Publication date: 1 September 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
uniform interpolationbounded bisimulationsquantifier elimination for bisimulation extension quantifiers
Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (33)
Positive Formulas in Intuitionistic and Minimal Logic ⋮ Uniform Lyndon interpolation for basic non-normal modal logics ⋮ Uniform interpolation via nested sequents ⋮ Knowledge forgetting in propositional \(\mu\)-calculus ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Logic-based ontology comparison and module extraction, with an application to DL-Lite ⋮ Deciding the existence of uniform interpolants over transitive models ⋮ Esakia duals of regular Heyting algebras ⋮ Interpolation Property on Visser's Formal Propositional Logic ⋮ Computing sufficient and necessary conditions in CTL: a forgetting approach ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ A decidability result for the model checking of infinite-state systems ⋮ Uniform interpolation and sequent calculi in modal logic ⋮ The Lyndon property and uniform interpolation over the Grzegorczyk logic ⋮ The Logical Difference Problem for Description Logic Terminologies ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ 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 ⋮ Pitts' quantifiers are not topological quantification ⋮ Rules and arithmetics ⋮ An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Interpolation properties for provability logics GL and GLP ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Formal Properties of Modularisation ⋮ Mathematical Logic for Life Science Ontologies ⋮ The many faces of interpolation ⋮ Forgetting in multi-agent modal logics ⋮ Uniform interpolation and the existence of sequent calculi ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ Combination of uniform interpolants via Beth definability ⋮ Combined covers and Beth definability
This page was built for publication:
