Pages that link to "Item:Q2805170"
From MaRDI portal
The following pages link to Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information (Q2805170):
Displayed 5 items.
- Modes of adjointness (Q484110) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information (Q2805170) (← links)
- Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)