Open Reading and Free Choice Permission: A Perspective in Substructural Logics

DOI10.1007/978-981-13-7791-4_5zbMath1469.03054OpenAlexW2946543709MaRDI QIDQ3305689

Norbert Gratzl, Huimin Dong, Olivier Roy

Publication date: 10 August 2020

Published in: Dynamics, Uncertainty and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-981-13-7791-4_5

zbMATH Keywords

deontic logicsubstructural logicsnonmonotonic reasoningfree choice permission

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Action negation and alternative reductions for dynamic deontic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Language in action. Categories, lambdas and dynamic logic
• Permission from an input/output perspective
• Substructural logics: a primer
• ``That will do: logics of deontic necessity and sufficiency
• Free choice and contextually permitted actions
• Computing strong and weak permissions in defeasible logic
• Free choice permission is strong permission
• Open Reading without Free Choice
• On deontic action logics based on Boolean algebra
• OBLIGATION, FREE CHOICE, AND THE LOGIC OF WEAKEST PERMISSIONS
• Stenius' approach to disjunctive permission
• What one may come to know
• Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra

This page was built for publication: Open Reading and Free Choice Permission: A Perspective in Substructural Logics