Pages that link to "Item:Q4647097"
From MaRDI portal
The following pages link to SOME MODEL THEORY OF GUARDED NEGATION (Q4647097):
Displayed 4 items.
- Logical separability of labeled data examples under ontologies (Q2093388) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232) (← links)
- Uniform guarded fragments (Q6181940) (← links)