Pages that link to "Item:Q3244103"
From MaRDI portal
The following pages link to Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory (Q3244103):
Displaying 50 items.
- Proof tree preserving tree interpolation (Q286737) (← links)
- The projective Beth property in well-composed logics (Q384403) (← links)
- Observing, reporting, and deciding in networks of sentences (Q386149) (← links)
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Craig interpolation for networks of sentences (Q435205) (← links)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Benchmarking a model checker for algorithmic improvements and tuning for performance (Q453484) (← links)
- Cuts from proofs: a complete and practical technique for solving linear inequalities over integers (Q453505) (← links)
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
- SMT-based model checking for recursive programs (Q518396) (← links)
- Beth definability, interpolation and language splitting (Q542122) (← links)
- Joint consistency in extensions of the minimal logic (Q606053) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
- Minding the is-ought gap (Q742474) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Refining abstract interpretations (Q765513) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Hybrid extensions of the minimal logic (Q820493) (← links)
- Causality-based game solving (Q832242) (← links)
- Interpolation and model checking for nonlinear arithmetic (Q832268) (← links)
- Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
- Optimization techniques for Craig interpolant compaction in unbounded model checking (Q888467) (← links)
- Definability theorems in normal extensions of the provability logic (Q918958) (← links)
- Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
- Common knowledge does not have the Beth property (Q987837) (← links)
- The road to two theorems of logic (Q1024115) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Der Interpolationssatz der intuitionistischen Prädikatenlogik (Q1130509) (← links)
- Interpolation properties of superintuitionistic logics (Q1140079) (← links)
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras (Q1150603) (← links)
- Interpolation theorems in modal logics. Sufficient conditions (Q1156788) (← links)
- Semantical criteria of empirical meaningfulness (Q1217782) (← links)
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras (Q1260029) (← links)
- A note on the interpolation property in tense logic (Q1366764) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- On a generalized modularization theorem (Q1607048) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- Lattice-based refinement in bounded model checking (Q1629959) (← links)
- Recognizability of all WIP-minimal logics (Q1642315) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
- Exploiting partial variable assignment in interpolation-based model checking (Q2009611) (← links)
