Pages that link to "Item:Q5452177"
From MaRDI portal
The following pages link to Modal Fixed-Point Logic and Changing Models (Q5452177):
Displayed 5 items.
- On axiomatizations of public announcement logic (Q484925) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Continuous Fragment of the mu-Calculus (Q3540176) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- To be announced (Q6040661) (← links)