Pages that link to "Item:Q2450647"
From MaRDI portal
The following pages link to Institutional semantics for many-valued logics (Q2450647):
Displaying 9 items.
- Graded consequence: an institution theoretic study (Q894661) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Institutions of variable truth values: An approach in the ordered style (Q1894330) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework (Q2787335) (← links)
- Implicit Kripke semantics and ultraproducts in stratified institutions (Q3133175) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning (Q5243398) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)