Pages that link to "Item:Q4612446"
From MaRDI portal
The following pages link to Satisfiability for relation-changing logics (Q4612446):
Displaying 8 items.
- Undecidability of relation-changing modal logics (Q1742616) (← links)
- On the subtle nature of a simple logic of the hide and seek game (Q2148792) (← links)
- A modal logic for supervised learning (Q2155207) (← links)
- Relation-changing modal operators: Fig. 1. (Q4644524) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- To be announced (Q6040661) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)
- Axiomatization of hybrid logic of link variations (Q6546612) (← links)