{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T00:40:20Z","timestamp":1771893620797,"version":"3.50.1"},"reference-count":32,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T00:00:00Z","timestamp":1610064000000},"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":[[2022,5,21]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We study the topic of realization from classical justification logics in the context of the recently introduced G\u00f6del justification logics. We show that the standard G\u00f6del modal logics of Caicedo and Rodriguez are not realized by the G\u00f6del justification logics and moreover, we study possible extensions of the G\u00f6del justification logics, which are strong enough to realize the standard G\u00f6del modal logics. On the other hand, we study the fragments of the standard G\u00f6del modal logics, which are realized by the usual G\u00f6del justification logics. We prove the corresponding realization theorem by using Fitting\u2019s merging of realizations as well as appropriate hypersequent calculi on the modal side, adapting the work by Metcalfe and Olivetti. For these hypersequent calculi, we also show a cut-elimination theorem. We provide natural semantical characterizations for all of these newly introduced logics.<\/jats:p>","DOI":"10.1093\/jigpal\/jzaa070","type":"journal-article","created":{"date-parts":[[2020,11,29]],"date-time":"2020-11-29T12:06:48Z","timestamp":1606651608000},"page":"343-408","source":"Crossref","is-referenced-by-count":2,"title":["G\u00f6del justification logics and realization"],"prefix":"10.1093","volume":"30","author":[{"given":"Nicholas","family":"Pischke","sequence":"first","affiliation":[{"name":"Department of Mathematics, Technische Universit\u00e4t Darmstadt, Schlossgartenstra\u00dfe 7, 64289 Darmstadt, Germany"}]}],"member":"286","published-online":{"date-parts":[[2021,1,8]]},"reference":[{"key":"2022052312303851500_ref1","article-title":"Operational modal logic","volume-title":"Technical Report MSI 95-29","author":"Artemov","year":"1995"},{"key":"2022052312303851500_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":"2022052312303851500_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":"2022052312303851500_ref4","article-title":"Cambridge Tracts in Mathematics","volume-title":"Justification Logic: Reasoning With Reasons","author":"Artemov","year":"2019"},{"key":"2022052312303851500_ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/oso\/9780198538622.003.0001","article-title":"The method of hypersequents in the proof theory of propositional non-classical logics","volume-title":"Logic: From Foundations to Applications","author":"Avron","year":"1996"},{"key":"2022052312303851500_ref6","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1093\/logcom\/13.6.835","article-title":"Hypersequent calculi for G\u00f6del logics\u2014a survey","volume":"13","author":"Baaz","year":"2003","journal-title":"Journal of Logic and Computation"},{"key":"2022052312303851500_ref7","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-3-319-24312-2_16","article-title":"Realization theorems for justification logics: full modularity","volume-title":"International Conference on Automated Reasoning With Analytic Tableaux and Related Methods, Proceedings","author":"Borg","year":"2015"},{"key":"2022052312303851500_ref8","first-page":"39","article-title":"A syntactic realization theorem for justification logics","volume-title":"Advances in Modal Logic, Proceedings","author":"Br\u00fcnnler","year":"2010"},{"key":"2022052312303851500_ref9","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":"2022052312303851500_ref10","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1093\/logcom\/exs036","article-title":"Bi-modal G\u00f6del logic over $\\left [0,1\\right ]$-valued Kripke frames","volume":"25","author":"Caicedo","year":"2015","journal-title":"Journal of Logic and Computation"},{"key":"2022052312303851500_ref11","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":"2022052312303851500_ref12","article-title":"A semantics for the logic of proofs","volume-title":"Technical Report TR-2003012","author":"Fitting","year":"2003"},{"key":"2022052312303851500_ref13","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":"2022052312303851500_ref14","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":"2022052312303851500_ref15","article-title":"Justification logics in a fuzzy setting","author":"Ghari"},{"key":"2022052312303851500_ref16","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":"2022052312303851500_ref17","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":"2022052312303851500_ref18","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":"2022052312303851500_ref19","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","article-title":"Trends in Logic","volume-title":"Metamathematics of Fuzzy Logic","author":"H\u00e1jek","year":"1998"},{"key":"2022052312303851500_ref20","doi-asserted-by":"crossref","first-page":"395","DOI":"10.2307\/2270905","article-title":"Logic with truth values in a linearly ordered Heyting algebra","volume":"34","author":"Horn","year":"1969","journal-title":"Journal of Symbolic Logic"},{"key":"2022052312303851500_ref21","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, Proceedings","author":"Kuznets","year":"2000"},{"key":"2022052312303851500_ref22","volume-title":"Complexity Issues in Justification Logic","author":"Kuznets","year":"2008"},{"key":"2022052312303851500_ref23","article-title":"Justification logic for constructive modal logic","volume-title":"IMLA 2017\u20147th Workshop on Intuitionistic Modal Logic and Applications, Jul 2017, Toulouse, France","author":"Kuznets","year":"2017"},{"key":"2022052312303851500_ref24","first-page":"437","article-title":"Justifications, ontology, and conservativity","volume-title":"Advances in Modal Logic 9","author":"Kuznets","year":"2012"},{"key":"2022052312303851500_ref25","article-title":"Studies in Logic: Mathematical Logic and Foundations","volume-title":"Logics of Proofs and Justifications","author":"Kuznets","year":"2019"},{"key":"2022052312303851500_ref26","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":"2022052312303851500_ref27","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-642-02716-1_20","article-title":"Proof systems for a G\u00f6del modal logic","volume-title":"International Conference on Automated Reasoning With Analytic Tableaux and Related Methods, Proceedings","author":"Metcalfe","year":"2009"},{"key":"2022052312303851500_ref28","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":"2022052312303851500_ref29","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":"2022052312303851500_ref30","first-page":"900","article-title":"Uniform, cut-free formulation of $T$, ${S}_{4}$ and ${S}_5$","volume":"48","author":"Pottinger","year":"1983","journal-title":"Journal of Symbolic Logic"},{"key":"2022052312303851500_ref31","first-page":"30","article-title":"G\u00f6del logics\u2014a survey","volume-title":"International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR 2010, Proceedings","author":"Preining","year":"2010"},{"key":"2022052312303851500_ref32","doi-asserted-by":"crossref","first-page":"388","DOI":"10.2178\/jsl.7802030","article-title":"Decidability for some justification logics with negative introspection","volume":"78","author":"Studer","year":"2013","journal-title":"Journal of Symbolic Logic"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/30\/3\/343\/43781611\/jzaa070.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/30\/3\/343\/43781611\/jzaa070.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,18]],"date-time":"2024-08-18T06:39:17Z","timestamp":1723963157000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/30\/3\/343\/6065724"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,8]]},"references-count":32,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2021,1,8]]},"published-print":{"date-parts":[[2022,5,21]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzaa070","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,5]]},"published":{"date-parts":[[2021,1,8]]}}}