Pages that link to "Item:Q3010367"
From MaRDI portal
The following pages link to A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367):
Displaying 6 items.
- Basic intuitionistic conditional logic (Q2000668) (← links)
- Access control in a core calculus of dependency (Q2864145) (← links)
- Logics in access control: a conditional approach (Q2937691) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- Adaptively applying modus ponens in conditional logics of normality (Q4583150) (← links)
- A Modal Deconstruction of Access Control Logics (Q5458361) (← links)