{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T06:20:00Z","timestamp":1649139600545},"reference-count":12,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,1,23]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Justification logic is a term used to identify a relatively new family of modal-like logics. There is an established literature about propositional justification logic, but incursions on the first-order case are scarce. In this paper we present a constant domain semantics for the first-order logic of proofs with the Barcan Formula (FOLPb); then we prove Soundness and Completeness Theorems. A monotonic semantics for a version of this logic without the Barcan Formula is already in the literature, but constant domains require substantial new machinery, which may prove useful in other contexts as well. Although we work mainly with one system, we also indicate how to generalize these results for the quantified version of JT45, the justification counterpart of the modal logic S5. We believe our methods are more generally applicable, but initially examining specific cases should make the work easier to follow.<\/jats:p>","DOI":"10.1093\/logcom\/exaa008","type":"journal-article","created":{"date-parts":[[2020,1,6]],"date-time":"2020-01-06T20:10:21Z","timestamp":1578341421000},"page":"193-216","source":"Crossref","is-referenced-by-count":0,"title":["First-order justification logic with constant domain semantics"],"prefix":"10.1093","volume":"30","author":[{"given":"Melvin","family":"Fitting","sequence":"first","affiliation":[{"name":"Departments of Computer Science, Philosophy, and Mathematics (Emeritus), The Graduate School and University Center (CUNY), 365 Fifth Avenue, New York, NY 10016, USA"}]},{"given":"Felipe","family":"Salvatore","sequence":"first","affiliation":[{"name":"Department of Computer Science, Instituto de Matem\u00e1tica e Estat\u00edstica, University of S\u00e3o Paulo, S\u00e3o Paulo, Brazil"}]}],"member":"286","published-online":{"date-parts":[[2020,1,28]]},"reference":[{"key":"2020040702351809000_ref1","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/S0168-0072(03)00059-9","article-title":"Repairing the interpolation theorem in quantified modal logic","volume":"124","author":"Areces","year":"2003","journal-title":"Annals of Pure and Applied Logic"},{"key":"2020040702351809000_ref2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","article-title":"Explicit provability and constructive semantics","volume":"7","author":"Artemov","year":"2001","journal-title":"The Bulletin for Symbolic Logic"},{"key":"2020040702351809000_ref3","doi-asserted-by":"crossref","DOI":"10.1017\/9781108348034","article-title":"Number Book 216 in Cambridge Tracts in Mathematics","volume-title":"Justification Logic: Reasoning with Reasons","author":"Artemov","year":"2019"},{"key":"2020040702351809000_ref4","doi-asserted-by":"crossref","first-page":"475","DOI":"10.17323\/1609-4514-2001-1-4-475-490","article-title":"On the first order logic of proofs","volume":"1","author":"Artemov","year":"2001","journal-title":"Moscow Mathematical Journal"},{"key":"2020040702351809000_ref5","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2307\/2273727","article-title":"Failures of the interpolation lemma in quantified modal logic","volume":"44","author":"Fine","year":"1979","journal-title":"Journal of Symbolic Logic"},{"key":"2020040702351809000_ref6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.apal.2007.11.003","article-title":"A quantified logic of evidence","volume":"152","author":"Fitting","year":"2008","journal-title":"Annals of Pure and Applied Logic"},{"key":"2020040702351809000_ref7","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1016\/j.apal.2009.07.010","article-title":"Realizations and LP","volume":"161","author":"Fitting","year":"2009","journal-title":"Annals of Pure and Applied Logic"},{"key":"2020040702351809000_ref8","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/j.apal.2013.07.011","article-title":"Possible world semantics for first order logic of proofs","volume":"165","author":"Fitting","year":"2014","journal-title":"Annals of Pure and Applied Logic"},{"key":"2020040702351809000_ref9","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/j.apal.2016.03.005","article-title":"Modal logics, justification logics, and realization","volume":"167","author":"Fitting","year":"2016","journal-title":"Annals of Pure and Applied Logic"},{"key":"2020040702351809000_ref10","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1093\/logcom\/ext025","article-title":"Realization using the model existence theorem","volume":"26","author":"Fitting","year":"2016","journal-title":"Journal of Logic and Computation"},{"key":"2020040702351809000_ref11","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"Hughes","year":"1996"},{"key":"2020040702351809000_ref12","volume-title":"Logics of Proofs and Justifications","author":"Kuznets","year":"2019"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/1\/193\/33016585\/exaa008.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/1\/193\/33016585\/exaa008.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T06:35:39Z","timestamp":1586241339000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/30\/1\/193\/5716473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1]]},"references-count":12,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,1,28]]},"published-print":{"date-parts":[[2020,1,23]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exaa008","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2020,1]]},"published":{"date-parts":[[2020,1]]}}}