• 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. Explicit non-normal modal logic
 

Explicit non-normal modal logic

Options
  • Details
  • Files
BORIS DOI
10.48620/87603
Publisher DOI
10.1093/logcom/exae052
Description
Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of deontic situations. To overcome this issue, we introduce novel justification logics as hyperintensional analogues to non-normal modal logics. We establish soundness and completeness with respect to various models and we study the problem of realization.
Date of Publication
2024-12-23
Publication Type
Article
Language(s)
en
Contributor(s)
Rohani, Atefeh
Institute of Computer Science
Studer, Thomasorcid-logo
Institute of Computer Science, Logic and Theory Group (LTG)
Institute of Computer Science
Additional Credits
Institute of Computer Science, Logic and Theory Group (LTG)
Institute of Computer Science
Institute of Computer Science, Software Engineering Group (SEG)
Series
Journal of Logic and Computation
Publisher
Oxford University Press
ISSN
0955-792X
1465-363X
Access(Rights)
open.access
Show full item
BORIS Portal
Bern Open Repository and Information System
Build: dd892c [ 9.04. 8:30]
Explore
  • Projects
  • Funding
  • Publications
  • Research Data
  • Organizations
  • Researchers
  • Audiovisual Material
  • Software & other digital items
  • Events
More
  • About BORIS Portal
  • Send Feedback
  • Cookie settings
  • Service Policy
Follow us on
  • Mastodon
  • YouTube
  • LinkedIn
UniBe logo