Pages that link to "Item:Q383563"
From MaRDI portal
The following pages link to A comprehensive picture of the decidability of mereological theories (Q383563):
Displaying 8 items.
- New axioms for mereology (Q1077406) (← links)
- On the decidability of axiomatized mereotopological theories (Q2354622) (← links)
- Decidability of general extensional mereology (Q2377058) (← links)
- Mereology then and now (Q2987747) (← links)
- Notes on models of first-order mereological theories (Q2987750) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- A monadic second-order version of Tarski's geometry of solids (Q6559162) (← links)