Pages that link to "Item:Q5065135"
From MaRDI portal
The following pages link to THE MODAL LOGIC OF STEPWISE REMOVAL (Q5065135):
Displaying 6 items.
- A modal logic for supervised learning (Q2155207) (← links)
- Logics with Copy and Remove (Q2938130) (← links)
- Losing connection: the modal logic of definable link deletion (Q5158361) (← links)
- To be announced (Q6040661) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
- Axiomatization of hybrid logic of link variations (Q6546612) (← links)