Pages that link to "Item:Q1709714"
From MaRDI portal
The following pages link to A tableau system for instantial neighborhood logic (Q1709714):
Displaying 4 items.
- A propositional dynamic logic for instantial neighborhood models (Q1679752) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)