A conditional constructive logic for access control and its sequent calculus
DOI10.1007/978-3-642-22119-4_14zbMATH Open1333.03104DBLPconf/tableaux/GenoveseGGP11OpenAlexW28472032WikidataQ58207605 ScholiaQ58207605MaRDI QIDQ3010367FDOQ3010367
G. L. Pozzato, Laura Giordano, Valerio Genovese, V. Gliozzi
Publication date: 1 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22119-4_14
Recommendations
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Title not available (Why is that?)
- Proof analysis in modal logic
- Title not available (Why is that?)
- A sequent calculus and a theorem prover for standard conditional logics
- Title not available (Why is that?)
- A Modal Deconstruction of Access Control Logics
- An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
- Variations in Access Control Logic
- Fibred security language
- Modal Access Control LogicAxiomatization, Semantics and FOL Theorem Proving
Cited In (7)
- Access control in a core calculus of dependency
- Logics in access control: a conditional approach
- Basic intuitionistic conditional logic
- Adaptively applying modus ponens in conditional logics of normality
- Logic in Access Control (Tutorial Notes)
- A Modal Deconstruction of Access Control Logics
- Variations in Access Control Logic
Uses Software
This page was built for publication: A conditional constructive logic for access control and its sequent calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3010367)
