The following pages link to Simulating without Negation (Q4351799):
Displaying 13 items.
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- A Lindström theorem for intuitionistic propositional logic (Q2176405) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- Notational variance and its variants (Q2288260) (← links)
- Model theory of XPath on data trees. II: Binary bisimulation and definability (Q2401631) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC (Q2804477) (← links)
- On Characterization, Definability and ω-Saturated Models (Q3105745) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
- Bisimilarity for paraconsistent description logics (Q5283396) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
