Pages that link to "Item:Q1604801"
From MaRDI portal
The following pages link to Interpolation and definability in guarded fragments (Q1604801):
Displaying 10 items.
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Guarded fragments with constants (Q2567342) (← links)
- The semijoin algebra and the guarded fragment (Q2567344) (← links)
- Interpolation for extended modal languages (Q3370762) (← links)
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
- Uniform guarded fragments (Q6181940) (← links)