scientific article; zbMATH DE number 1405456

MaRDI QIDQ4938431zbMATH OpenFDO

Authors Eva Hoogland, Maarten Marx, Martin Otto

Publication date 23 February 2000

zbMATH Keywords

Beth propertyclosure propertydefinabilityguarded fragmentinterpolation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Interpolation, preservation, definability (03C40)

Recommendations

• Interpolation and definability in guarded fragments
• Bisimulation quantifiers and uniform interpolation for guarded first order logic
• Modal languages and bounded fragments of predicate logic
• Effective interpolation and preservation in guarded logics
• Effective interpolation and preservation in guarded logics

Cited in

(11)

• The many faces of interpolation
• Epimorphisms in cylindric algebras and definability in finite variable logic
• Interpolation and definability in guarded fragments
• Guarded fixed point logics and the monadic theory of countable trees.
• Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment
• Guards, bounds, and generalized semantics
• Effective interpolation and preservation in guarded logics
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• scientific article; zbMATH DE number 7104937 (Why is no real title available?)
• Effective interpolation and preservation in guarded logics
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4938431)