Pages that link to "Item:Q3647242"
From MaRDI portal
The following pages link to μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ (Q3647242):
Displayed 8 items.
- Introspective forgetting (Q1036061) (← links)
- Semantics for knowledge and change of awareness (Q2258808) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- An Epistemic Predicate CTL* for Finite Control π-Processes (Q2825420) (← links)
- The Complexity of One-Agent Refinement Modal Logic (Q2915064) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- An Alternative Logic for Knowability (Q3094019) (← links)
- Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)