scientific article; zbMATH DE number 1405456
From MaRDI portal
Publication:4938431
zbMath0939.03038MaRDI QIDQ4938431
Maarten Marx, Martin Otto, Eva Hoogland
Publication date: 23 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Effective Interpolation and Preservation in Guarded Logics ⋮ Unnamed Item ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment ⋮ The many faces of interpolation ⋮ Guards, bounds, and generalized semantics ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ Guarded fixed point logics and the monadic theory of countable trees.
