eprintid: 10141795
rev_number: 15
eprint_status: archive
userid: 608
dir: disk0/10/14/17/95
datestamp: 2022-01-13 10:42:07
lastmod: 2022-04-07 06:10:27
status_changed: 2022-01-13 10:42:07
type: proceedings_section
metadata_visibility: show
creators_name: Marin, S
creators_name: Pereira, LC
creators_name: Pimentel, E
creators_name: Sales, E
title: A Pure View of Ecumenical Modalities
ispublished: pub
divisions: UCL
divisions: B04
divisions: C05
divisions: F48
note: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
abstract: Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion on proof systems for combining logics. This discussion has been extended to alethic modalities using Simpson’s meta-logical characterization: necessity is independent of the viewer, while possibility can be either intuitionistic or classical. In this work, we propose a pure, label free calculus for ecumenical modalities, nEK, where exactly one logical operator figures in introduction rules and every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic EK. We prove that nEK is sound and complete w.r.t. the ecumenical birelational semantics and discuss fragments and extensions.
date: 2021-10-06
date_type: published
publisher: Springer
official_url: https://doi.org/10.1007/978-3-030-88853-4_24
oa_status: green
full_text_type: other
language: eng
primo: open
primo_central: open_green
verified: verified_manual
elements_id: 1912797
doi: 10.1007/978-3-030-88853-4_24
isbn_13: 978-3-030-88852-7
lyricists_name: Pimentel, Elaine
lyricists_id: EPIME68
actors_name: Pimentel, Elaine
actors_id: EPIME68
actors_role: owner
full_text_status: public
series: Lecture Notes in Computer Science
publication: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume: 13038
place_of_pub: Cham, Switzerland
pagerange: 388-407
event_title: WoLLIC 2021: Logic, Language, Information, and Computation
issn: 1611-3349
book_title: Logic, Language, Information, and Computation. WoLLIC 2021. Lecture Notes in Computer Science
citation:        Marin, S;    Pereira, LC;    Pimentel, E;    Sales, E;      (2021)    A Pure View of Ecumenical Modalities.                     In:  Logic, Language, Information, and Computation. WoLLIC 2021. Lecture Notes in Computer Science.  (pp. pp. 388-407).  Springer: Cham, Switzerland.       Green open access   
 
document_url: https://discovery.ucl.ac.uk/id/eprint/10141795/1/Paper43-WoLLIC21.pdf