Pages that link to "Item:Q4933590"
From MaRDI portal
The following pages link to POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590):
Displaying 4 items.
- A positive information logic for inferential information (Q833030) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)