Pages that link to "Item:Q5458361"
From MaRDI portal
The following pages link to A Modal Deconstruction of Access Control Logics (Q5458361):
Displayed 11 items.
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Fibred security language (Q1037607) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- Adaptively applying modus ponens in conditional logics of normality (Q4583150) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← links)
- The logic of secrets and the interpolation rule (Q6133700) (← links)