{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q408535","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q408535","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q408535","kernelVersion":"v1","immutable":true,"modified":"2025-07-02T13:29:31Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q408535","name":"Conservativity for logics of justified belief: two approaches","headline":"Conservativity for logics of justified belief: two approaches","description":"scientific article; zbMATH DE number 6022767","url":"https://portal.mardi4nfdi.de/entity/Q408535","datePublished":"2012-04-10","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1776196"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q122505"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.APAL.2011.09.015","url":"https://doi.org/10.1016/J.APAL.2011.09.015"},"sameAs":["https://doi.org/10.1016/J.APAL.2011.09.015"],"comment":"The author mainly focuses on two logics of justified belief to which he refers as J and J4. The logical syntax of J4 includes the operation of positive introspection while that of J does not. The author shows, syntactically and semantically, that for every proof in J4 of a wff in which there is no occurrence of the operator in question, there is a corresponding proof in J. In addition, there are some remarks in the paper on whether similar results can or cannot be obtained for other logics of justified belief.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1326774"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2732527"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3580683"},{"@id":"https://portal.mardi4nfdi.de/entity/Q703832"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1028642"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2753686"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4376067"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4716271"}]},"provenance":{"prov:generatedAtTime":"2025-07-02T13:29:31Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}