Pages that link to "Item:Q3178281"
From MaRDI portal
The following pages link to Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281):
Displaying 9 items.
- Software tool support for modular reasoning in modal logics of actions (Q1791146) (← links)
- Reasoning with ambiguity (Q2035848) (← links)
- Evaluations of epistemic components for resolving the muddy children puzzle (Q2376999) (← links)
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- Algebra and sequent calculus for epistemic actions (Q2848068) (← links)
- Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators (Q2946724) (← links)
- (Q3032232) (← links)
- (Q3743303) (← links)
- Epistemic Actions as Resources (Q5431612) (← links)