Pages that link to "Item:Q5452177"
From MaRDI portal
The following pages link to Modal Fixed-Point Logic and Changing Models (Q5452177):
Displaying 10 items.
- On axiomatizations of public announcement logic (Q484925) (← links)
- Modal correspondence for models (Q1267083) (← links)
- Capturing equilibrium models in modal logic (Q2447178) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- The Modal Logic of Equilibrium Models (Q3172888) (← links)
- Continuous Fragment of the mu-Calculus (Q3540176) (← links)
- Modulated logics and flexible reasoning (Q3620397) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- (Q5283800) (← links)
- To be announced (Q6040661) (← links)