The following pages link to (Q5824680):
Displayed 50 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Sets and functions in theoretical physics (Q488350) (← links)
- Beth definability, interpolation and language splitting (Q542122) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Recursive definitions and fixed-points on well-founded structures (Q654910) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Some problems concerning language and physics (Q885517) (← links)
- Definability theorems in normal extensions of the provability logic (Q918958) (← links)
- The many faces of interpolation (Q1024113) (← links)
- The road to two theorems of logic (Q1024115) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Der Interpolationssatz der intuitionistischen Prädikatenlogik (Q1130509) (← links)
- On the theory of biased bisection operations and their inverses (Q1217046) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Definability, decidability, complexity (Q1817073) (← links)
- Frege's new science (Q1860968) (← links)
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
- Explicit definitions of implicitly definable objects in some modal logics (Q1972816) (← links)
- Beth definability and the Stone-Weierstrass theorem (Q2033009) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
- A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Definability for model counting (Q2303508) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- An analog of Beth's theorem in normal extensions of the modal logic K4 (Q2366342) (← links)
- On propositional definability (Q2389643) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- Classification of extensions of the modal logic S4 (Q2436104) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Amalgamation, congruence-extension, and interpolation properties in algebras (Q2552131) (← links)
- On the vicious circle in definitions (Q2558219) (← links)
- Definibility in normal theories (Q2562854) (← links)
- Exact Query Reformulation with First-Order Ontologies and Databases (Q2915072) (← links)
- Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators (Q3299518) (← links)
- On Enumerating Query Plans Using Analytic Tableau (Q3455780) (← links)
- Andrzej Mostowski and the Notion of a Model (Q4611699) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Recursive Definitions and Fixed-Points (Q5178958) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)