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):
Displaying 7 items.
- Modes of adjointness (Q484110) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- A positive information logic for inferential information (Q833030) (← 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)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
