The following pages link to (Q5015208):
Displaying 7 items.
- Undecidability results on two-variable logics (Q1306795) (← links)
- On the decision problem for MELL (Q1733062) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Undecidable iterative propositional calculus (Q2364331) (← links)
- (Q4461957) (← links)
- Expressing additives using multiplicatives and subexponentials (Q4637626) (← links)
- Super exponentials in linear logic (Q6657784) (← links)