The following pages link to (Q4893140):
Displaying 27 items.
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Deciding the existence of uniform interpolants over transitive models (Q627437) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- Combined covers and Beth definability (Q2096445) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
- Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Positive Formulas in Intuitionistic and Minimal Logic (Q3455187) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- Mathematical Logic for Life Science Ontologies (Q3638273) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)
