Pages that link to "Item:Q1580652"
From MaRDI portal
The following pages link to Axiomatizations with context rules of inference in modal logic (Q1580652):
Displayed 5 items.
- Dynamic extensions of arrow logic (Q598299) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- Local properties in modal logic (Q1761295) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- Putting right the wording and the proof of the Truth Lemma for<i>APAL</i> (Q4586133) (← links)