{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T00:39:47Z","timestamp":1771893587126,"version":"3.50.1"},"reference-count":32,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T00:00:00Z","timestamp":1652745600000},"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":[[2023,5,25]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We study arbitrary intermediate propositional logics extended with a collection of axioms from (classical) justification logics. For these, we introduce various semantics by combining either Heyting algebras or Kripke frames with the usual semantic machinery used by Mkrtychev\u2019s, Fitting\u2019s or Lehmann and Studer\u2019s models for classical justification logics. We prove unified completeness theorems for all intermediate justification logics and their corresponding semantics using a respective propositional completeness theorem of the underlying intermediate logic. Further, by a modification of a method of Fitting, we prove unified realization theorems for a large class of intermediate justification logics and accompanying intermediate modal logics.<\/jats:p>","DOI":"10.1093\/jigpal\/jzac049","type":"journal-article","created":{"date-parts":[[2022,4,14]],"date-time":"2022-04-14T11:18:26Z","timestamp":1649935106000},"page":"534-573","source":"Crossref","is-referenced-by-count":1,"title":["On intermediate justification logics"],"prefix":"10.1093","volume":"31","author":[{"given":"Nicholas","family":"Pischke","sequence":"first","affiliation":[{"name":"Department of Mathematics , Technische Universit\u00e4t Darmstadt, Schlossgartenstra\u00dfe 7, 64289 Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2022,5,17]]},"reference":[{"key":"2023052700430856000_ref1","article-title":"Operational modal logic","volume-title":"Technical Report MSI 95-29","author":"Artemov","year":"1995"},{"key":"2023052700430856000_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 of Symbolic Logic"},{"key":"2023052700430856000_ref3","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1017\/S1755020308090060","article-title":"The logic of justification","volume":"1","author":"Artemov","year":"2008","journal-title":"The Review of Symbolic Logic"},{"key":"2023052700430856000_ref4","doi-asserted-by":"crossref","DOI":"10.1017\/9781108348034","volume-title":"Justification Logic: Reasoning with Reasons","author":"Artemov","year":"2019"},{"key":"2023052700430856000_ref5","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/s11225-010-9230-1","article-title":"Standard G\u00f6del modal logics","volume":"94","author":"Caicedo","year":"2010","journal-title":"Studia Logica"},{"key":"2023052700430856000_ref6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"Chagrov","year":"1997"},{"key":"2023052700430856000_ref7","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","article-title":"A propositional calculus with denumerable matrix","volume":"24","author":"Dummett","year":"1959","journal-title":"Journal of Symbolic Logic"},{"key":"2023052700430856000_ref8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","article-title":"The logic of proofs, semantically","volume":"132","author":"Fitting","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"key":"2023052700430856000_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":"2023052700430856000_ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantical Investigations in Heyting\u2019s Intuitionistic Logic","author":"Gabbay","year":"1981"},{"key":"2023052700430856000_ref11","article-title":"Justification logics in a fuzzy setting","author":"Ghari","year":"2014"},{"key":"2023052700430856000_ref12","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1093\/jigpal\/jzw019","article-title":"Pavelka-style fuzzy justification logics","volume":"24","author":"Ghari","year":"2016","journal-title":"Logic Journal of the IGPL"},{"key":"2023052700430856000_ref13","first-page":"65","article-title":"Zum intuitionistischen aussagenkalk\u00fcl","volume":"69","author":"G\u00f6del","year":"1932","journal-title":"Anzeiger der Akademie der Wissenschaften in Wien"},{"key":"2023052700430856000_ref14","first-page":"39","article-title":"Eine interpretation des intuitionistischen aussagenkalk\u00fcls","volume":"4","author":"G\u00f6del","year":"1933","journal-title":"Ergebnisse eines Mathematischen Kolloquiums"},{"key":"2023052700430856000_ref15","first-page":"92","volume-title":"Semantical analysis of intuitionistic logic I. In Formal Systems and Recursive Functions","author":"Kripke","year":"1965"},{"key":"2023052700430856000_ref16","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/3-540-44622-2_25","article-title":"On the complexity of explicit modal logics","volume-title":"International Workshop on Computer Science Logic","author":"Kuznets","year":"2000"},{"key":"2023052700430856000_ref17","volume-title":"Complexity Issues in Justification Logic","author":"Kuznets","year":"2008"},{"key":"2023052700430856000_ref18","article-title":"Justification logic for constructive modal logic","volume-title":"IMLA 2017\u20147th Workshop on Intuitionistic Modal Logic and Applications","author":"Kuznets","year":"2017"},{"key":"2023052700430856000_ref19","volume-title":"Logics of Proofs and Justifications","author":"Kuznets","year":"2019"},{"key":"2023052700430856000_ref20","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/978-3-662-59533-6_26","article-title":"Subset models for justification logic","volume-title":"Logic, Language, Information and Computation (WoLLIC)","author":"Lehmann","year":"2019"},{"key":"2023052700430856000_ref21","first-page":"877","article-title":"Intuitionistic modal logic made explicit","volume":"3","author":"Marti","year":"2016","journal-title":"IfCoLog Journal of Logics and their Applications"},{"key":"2023052700430856000_ref22","article-title":"The internalized disjunction property for intuitionistic justification logic","volume-title":"Advances in Modal Logic","author":"Marti","year":"2018"},{"key":"2023052700430856000_ref23","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-63045-7_27","article-title":"Models for the logic of proofs","volume-title":"Proceedings of Logical Foundations of Computer Science LFCS\u201997","author":"Mkrtychev","year":"1997"},{"key":"2023052700430856000_ref24","doi-asserted-by":"crossref","first-page":"461","DOI":"10.2977\/prims\/1195193915","article-title":"Kripke models and intermediate logics","volume":"6","author":"Ono","year":"1971","journal-title":"Publications of the Research Institute for Mathematical Sciences"},{"key":"2023052700430856000_ref25","doi-asserted-by":"crossref","first-page":"687","DOI":"10.2977\/prims\/1195189604","article-title":"On some intuitionistic modal logics","volume":"13","author":"Ono","year":"1977","journal-title":"Publications of the Research Institute for Mathematical Sciences"},{"key":"2023052700430856000_ref26","doi-asserted-by":"crossref","DOI":"10.1007\/978-981-13-7997-0","volume-title":"Proof Theory and Algebra in Logic","author":"Ono","year":"2019"},{"key":"2023052700430856000_ref27","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/s11225-019-09871-4","article-title":"A note on strong axiomatization of G\u00f6del justification logic","volume":"108","author":"Pischke","year":"2020","journal-title":"Studia Logica"},{"key":"2023052700430856000_ref28","article-title":"G\u00f6del justification logics and realization","author":"Pischke","year":"2021","journal-title":"Logic Journal of the IGPL"},{"key":"2023052700430856000_ref29","volume-title":"The Mathematics of Metamathematics","author":"Rasiowa","year":"1963"},{"key":"2023052700430856000_ref30","first-page":"985","article-title":"On incomplete propositional logics","volume":"18","author":"Shehtman","year":"1977","journal-title":"Soviet Mathematics Doklady"},{"key":"2023052700430856000_ref31","article-title":"On modal expansions of t-norm based logics with rational constants","volume-title":"Artificial Intelligence Research Institute (IIIA\u2013CSIC)","author":"Vidal","year":"2015"},{"key":"2023052700430856000_ref32","first-page":"227","volume-title":"Intuitionistic Modal Logic","author":"Wolter","year":"1999"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/3\/534\/50460843\/jzac049.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/3\/534\/50460843\/jzac049.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T00:30:25Z","timestamp":1700440225000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/31\/3\/534\/6586015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,17]]},"references-count":32,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2022,5,17]]},"published-print":{"date-parts":[[2023,5,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzac049","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,6]]},"published":{"date-parts":[[2022,5,17]]}}}