Pages that link to "Item:Q2321251"
From MaRDI portal
The following pages link to Forgetting in multi-agent modal logics (Q2321251):
Displaying 8 items.
- Semantic forgetting in expressive description logics (Q831928) (← links)
- Introspective forgetting (Q1036061) (← links)
- Knowledge forgetting: properties and applications (Q1045992) (← links)
- Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
- Forgetting complex propositions (Q4644607) (← links)
- Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions (Q6152662) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)
- Common equivalence and size of forgetting from Horn formulae (Q6661056) (← links)