scientific article; zbMATH DE number 7085150
From MaRDI portal
Publication:5224917
zbMATH Open1418.03098MaRDI QIDQ5224917FDOQ5224917
Authors: Xavier Parent, Leendert van der Torre 
Publication date: 24 July 2019
Title of this publication is not available (Why is that?)
Recommendations
- Input/output logic with a consistency check -- the case of permission
- Reasoning About Deterministic Concurrent Functional I/O
- I/O logic in HOL
- Modelling deterministic concurrent I/O
- Input/output logics
- Constraints for input/output logics
- scientific article; zbMATH DE number 219210
- Efficient algorithms for checking the atomicity of a run of read and write operations
Cited In (10)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- A logic for deontic dilemmas
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
- Subordination algebras as semantic environment of input/output logic
- From input/output logics to conditional logics via sequents -- with provers
- Deontic Logic in Computer Science
- Constraints for input/output logics
- Deontic paradoxes in Mīmāṃsā logics: there and back again
- Deontic equilibrium logic with explicit negation
- Moral Particularism and Deontic Logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224917)
