• LOGIN
    Login with username and password
Repository logo

BORIS Portal

Bern Open Repository and Information System

  • Publications
  • Theses
  • Research Data
  • Projects
  • Organizations
  • Researchers
  • More
  • Collections
  • Statistics
  • LOGIN
    Login with username and password
Repository logo
Unibern.ch
  1. Home
  2. Publications
  3. Consistency and permission in deontic justification logic

Consistency and permission in deontic justification logic

Details
Files
DOI
10.48350/177372
Publisher DOI
10.1093/logcom/exac045
Abstract
Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the available set of operations for combining different reasons. We present different consistency principles in justification logic and compare their logical strength. We propose a novel semantics for which justification logics with the explicit version of axiom D, jd⁠, are complete for arbitrary constant specifications. Consistency is sometimes formulated in terms of permission. We therefore study permission in the context of justification logic, introducing a notion of free-choice permission for the first time. We then discuss the philosophical implications with regard to some deontic paradoxes.
Date Issued
2022
Publication Type
Article
Subject(s)
000 Computer science, knowledge & systems
500 Science > 510 Mathematics
Language(s)
en
Author(s)
Faroldi, Federico L G
Ghari, Meghdad
Lehmann, Eveline  
Institut für Informatik (INF)  
Studer, Thomas  orcid-logo
Institut für Informatik (INF) - Logic and Theory Group  
Additional Credits
Institut für Informatik (INF)  
Institut für Informatik (INF) - Logic and Theory Group  
Journal
Journal of logic and computation
Publisher
Oxford University Press
ISSN
0955-792X
Access(Rights)
restricted
Show full item
BORIS Portal
Bern Open Repository and Information System
Build: 0eaa7c [ 7.08. 11:06]
Explore
  • Projects
  • Funding
  • Publications
  • Research Data
  • Organizations
  • Researchers
  • Audiovisual Material
  • Software & other digital items
  • Events
More
  • About BORIS Portal
  • BORIS Portal & Open Science
  • Send Feedback
  • Cookie settings
  • Service Policy
Follow us on
  • Mastodon
  • YouTube
  • LinkedIn
UniBe logo
Repository logo COAR Notify