Pages that link to "Item:Q1295444"
From MaRDI portal
The following pages link to Modality, bisimulation and interpolation in infinitary logic (Q1295444):
Displaying 6 items.
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- Representing any-time and program-iteration by infinitary conjunction (Q4583319) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
- Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) (Q5937814) (← links)
