<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10141795> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/dc/terms/title> "A Pure View of Ecumenical Modalities"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/ontology/bibo/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."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/dc/terms/date> "2021-10-06" .
<https://discovery.ucl.ac.uk/id/document/1430607> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/ontology/bibo/volume> "13038" .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://xmlns.com/foaf/0.1/name> "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-16113349> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:16113349> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://purl.org/ontology/bibo/issn> "16113349" .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-75f36df4b171c550b528789fb1153361> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10141795#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10141795#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-75f36df4b171c550b528789fb1153361> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-c0782b9423fc259ba7eb393f58fc2d8f> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10141795#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10141795#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-c0782b9423fc259ba7eb393f58fc2d8f> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-6dac1d81bdd1ec90ac6d38146442aa7b> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10141795#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10141795#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-6dac1d81bdd1ec90ac6d38146442aa7b> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-0a19ff82f449ab1d53dabe2379c7f1a4> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10141795#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10141795#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <https://discovery.ucl.ac.uk/id/person/ext-0a19ff82f449ab1d53dabe2379c7f1a4> .
<https://discovery.ucl.ac.uk/id/person/ext-0a19ff82f449ab1d53dabe2379c7f1a4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-0a19ff82f449ab1d53dabe2379c7f1a4> <http://xmlns.com/foaf/0.1/givenName> "E"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-0a19ff82f449ab1d53dabe2379c7f1a4> <http://xmlns.com/foaf/0.1/familyName> "Sales"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-0a19ff82f449ab1d53dabe2379c7f1a4> <http://xmlns.com/foaf/0.1/name> "E Sales"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-75f36df4b171c550b528789fb1153361> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-75f36df4b171c550b528789fb1153361> <http://xmlns.com/foaf/0.1/givenName> "S"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-75f36df4b171c550b528789fb1153361> <http://xmlns.com/foaf/0.1/familyName> "Marin"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-75f36df4b171c550b528789fb1153361> <http://xmlns.com/foaf/0.1/name> "S Marin"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-c0782b9423fc259ba7eb393f58fc2d8f> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-c0782b9423fc259ba7eb393f58fc2d8f> <http://xmlns.com/foaf/0.1/givenName> "LC"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-c0782b9423fc259ba7eb393f58fc2d8f> <http://xmlns.com/foaf/0.1/familyName> "Pereira"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-c0782b9423fc259ba7eb393f58fc2d8f> <http://xmlns.com/foaf/0.1/name> "LC Pereira"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6dac1d81bdd1ec90ac6d38146442aa7b> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-6dac1d81bdd1ec90ac6d38146442aa7b> <http://xmlns.com/foaf/0.1/givenName> "E"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6dac1d81bdd1ec90ac6d38146442aa7b> <http://xmlns.com/foaf/0.1/familyName> "Pimentel"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6dac1d81bdd1ec90ac6d38146442aa7b> <http://xmlns.com/foaf/0.1/name> "E Pimentel"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-5ee97f0355fef18034b72490e9a7f28c> .
<https://discovery.ucl.ac.uk/id/event/ext-5ee97f0355fef18034b72490e9a7f28c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> .
<https://discovery.ucl.ac.uk/id/event/ext-5ee97f0355fef18034b72490e9a7f28c> <http://purl.org/dc/terms/title> "WoLLIC 2021: Logic, Language, Information, and Computation"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430607> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1430607> <http://www.w3.org/2000/01/rdf-schema#label> "A Pure View of Ecumenical Modalities (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://eprints.org/ontology/hasPublished> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430607> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10141795/1/Paper43-WoLLIC21.pdf> .
<https://discovery.ucl.ac.uk/id/document/1430607> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10141795/1/Paper43-WoLLIC21.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10141795/1/Paper43-WoLLIC21.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Paper43-WoLLIC21.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1430609> .
<https://discovery.ucl.ac.uk/id/document/1430609> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1430609> <http://www.w3.org/2000/01/rdf-schema#label> "A Pure View of Ecumenical Modalities (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1430609> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430609> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430609> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430609> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10141795/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1430609> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10141795/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10141795/3/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1430610> .
<https://discovery.ucl.ac.uk/id/document/1430610> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1430610> <http://www.w3.org/2000/01/rdf-schema#label> "A Pure View of Ecumenical Modalities (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1430610> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430610> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430610> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430610> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10141795/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1430610> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10141795/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10141795/4/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1430611> .
<https://discovery.ucl.ac.uk/id/document/1430611> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1430611> <http://www.w3.org/2000/01/rdf-schema#label> "A Pure View of Ecumenical Modalities (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1430611> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430611> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430611> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430611> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10141795/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1430611> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10141795/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10141795/5/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1430612> .
<https://discovery.ucl.ac.uk/id/document/1430612> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1430612> <http://www.w3.org/2000/01/rdf-schema#label> "A Pure View of Ecumenical Modalities (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1430612> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430612> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430612> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430612> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10141795/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1430612> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10141795/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10141795/6/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1430613> .
<https://discovery.ucl.ac.uk/id/document/1430613> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1430613> <http://www.w3.org/2000/01/rdf-schema#label> "A Pure View of Ecumenical Modalities (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1430613> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430613> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430613> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1430607> .
<https://discovery.ucl.ac.uk/id/document/1430613> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10141795/7/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1430613> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10141795/7/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10141795/7/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10141795> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10141795/> .
<https://discovery.ucl.ac.uk/id/eprint/10141795/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10141795 \n\nA Pure View of Ecumenical Modalities\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10141795/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10141795/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10141795> .