{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T14:54:31Z","timestamp":1766588071126,"version":"build-2065373602"},"reference-count":278,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444516909"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1016\/s1570-2464(07)80019-x","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"927-969","source":"Crossref","is-referenced-by-count":4,"title":["16 Modal logic in mathematics"],"prefix":"10.1016","member":"78","reference":[{"article-title":"Algebraic analysis of the G\u00f6del-L\u00f6b modal system","year":"1987","author":"Abashidze","key":"10.1016\/S1570-2464(07)80019-X_bib1"},{"article-title":"Spatial reasoning: theory and practice","year":"2002","author":"Aiello","key":"10.1016\/S1570-2464(07)80019-X_bib2"},{"key":"10.1016\/S1570-2464(07)80019-X_bib3","doi-asserted-by":"crossref","first-page":"319","DOI":"10.3166\/jancl.12.319-363","article-title":"A modal walk through space","volume":"12","author":"Aiello","year":"2002","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10.1016\/S1570-2464(07)80019-X_bib4","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1093\/logcom\/13.6.889","article-title":"Reasoning about space: the modal way","volume":"13","author":"Aiello","year":"2003","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80019-X_bib5","article-title":"Justified knowledge is sufficient","author":"Antonakos","year":"2006","journal-title":"Technical Report TR-2006004"},{"key":"10.1016\/S1570-2464(07)80019-X_bib6","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1093\/jigpal\/8.5.653","article-title":"The computational complexity of hybrid temporal logics","volume":"8","author":"Areces","year":"2000","journal-title":"Logic Journal of IGPL"},{"article-title":"Extensions of arithmetic and modal logics","year":"1979","author":"Artemov","key":"10.1016\/S1570-2464(07)80019-X_bib7"},{"key":"10.1016\/S1570-2464(07)80019-X_bib8","first-page":"115","volume":"14","author":"Artemov","year":"1980"},{"key":"10.1016\/S1570-2464(07)80019-X_bib9","first-page":"403","volume":"32","author":"Artemov","year":"1985","journal-title":"Nonarithmeticity of truth predicate logics of provability, Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80019-X_bib10","first-page":"1123","article-title":"On modal logics axiomatizing provability, Izvestiya Akademii Nauk SSSR","volume":"49","author":"Artemov","year":"1985"},{"key":"10.1016\/S1570-2464(07)80019-X_bib11","first-page":"384","article-title":"Numerically correct provability logics","volume":"34","author":"Artemov","year":"1987","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80019-X_bib12","first-page":"257","article-title":"Kolmogorov logic of problems and a provability interpretation of intuitionistic logic","author":"Artemov","year":"1990","journal-title":"Theoretical Aspects of Reasoning about Knowledge \u2014 III Proceedings"},{"key":"10.1016\/S1570-2464(07)80019-X_bib13","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0168-0072(94)90007-8","article-title":"Logic of proofs","volume":"67","author":"Artemov","year":"1994","journal-title":"Annals of Pure and Applied Logic"},{"article-title":"Operational modal logic","year":"1995","author":"Artemov","key":"10.1016\/S1570-2464(07)80019-X_bib14"},{"article-title":"Logic of Proofs: a unified semantics for modality and X-terms","year":"1998","author":"Artemov","key":"10.1016\/S1570-2464(07)80019-X_bib15"},{"key":"10.1016\/S1570-2464(07)80019-X_bib16","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":"10.1016\/S1570-2464(07)80019-X_bib17","first-page":"59","article-title":"Operations on proofs that can be specified by means of modal logic","volume":"Volume 2","author":"Artemov","year":"2001"},{"key":"10.1016\/S1570-2464(07)80019-X_bib18","series-title":"Algebras, Diagrams and Decisions in Language, Logic and Computation","first-page":"59","article-title":"Unified semantics for modality and \u03bb-terms via proof polynomials","author":"Artemov","year":"2001"},{"key":"10.1016\/S1570-2464(07)80019-X_bib19","first-page":"36","article-title":"Embedding of modal \u03bb-calculus into the Logic of Proofs","volume":"242","author":"Artemov","year":"2003","journal-title":"Proceedings of the Steklov Mathematical Institute"},{"key":"10.1016\/S1570-2464(07)80019-X_bib20","article-title":"Evidence-based common knowledge","author":"Artemov","year":"2004","journal-title":"Technical Report TR-2004018"},{"key":"10.1016\/S1570-2464(07)80019-X_bib21","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1070\/RM2004v059n02ABEH000715","article-title":"Kolmogorov and G\u00f6del's approach to intuitionistic logic: current developments","volume":"59","author":"Artemov","year":"2004","journal-title":"Russian Mathematical Surveys"},{"key":"10.1016\/S1570-2464(07)80019-X_bib22","first-page":"19","article-title":"Existential semantics for modal logic","volume":"Volume 1","author":"Artemov","year":"2005"},{"key":"10.1016\/S1570-2464(07)80019-X_bib23","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/j.tcs.2006.03.009","article-title":"Justified Common Knowledge","volume":"357","author":"Artemov","year":"2006","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80019-X_bib24","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1305\/ndjfl\/1093634729","article-title":"On propositional quantifiers in provability logic","volume":"34","author":"Artemov","year":"1993","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib25","series-title":"Hand- book of Philosophical Logic","first-page":"189","article-title":"Provability Logic","author":"Artemov","year":"2004"},{"key":"10.1016\/S1570-2464(07)80019-X_bib26","doi-asserted-by":"crossref","DOI":"10.21236\/ADA344355","article-title":"Modal logics and topological semantics for hybrid systems","author":"Artemov","year":"1997"},{"key":"10.1016\/S1570-2464(07)80019-X_bib27","article-title":"The basic intuitionistic logic of proofs","author":"Artemov","year":"2005","journal-title":"Technical Report TR-2005002, CUNY Ph.D. Program in Computer Science"},{"key":"10.1016\/S1570-2464(07)80019-X_bib28","article-title":"Logical omniscience via proof complexity","author":"Artemov","year":"2006","journal-title":"Technical Report TR-2006005, CUNY Ph.D. Program in Computer Science"},{"article-title":"Epistemic logic with justifications","year":"1999","author":"Artemov","key":"10.1016\/S1570-2464(07)80019-X_bib29"},{"key":"10.1016\/S1570-2464(07)80019-X_bib30","article-title":"Logic of knowledge with justifications from the provability perspective","author":"Artemov","year":"2004","journal-title":"Technical Report TR-2004011"},{"key":"10.1016\/S1570-2464(07)80019-X_bib31","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1093\/logcom\/exi053","article-title":"Introducing justification to epistemic logic","volume":"15","author":"Artemov","year":"2005","journal-title":"Journal of Logic and Com- putation"},{"key":"10.1016\/S1570-2464(07)80019-X_bib32","series-title":"Theoretical Aspects of Rationality and Knowledge","first-page":"279","article-title":"On epistemic logic with justification","author":"Artemov","year":"2005"},{"key":"10.1016\/S1570-2464(07)80019-X_bib33_1","series-title":"Computer Science Logic. 6th Workshop, CSL'92","article-title":"The basic logic of proofs","author":"Artemov","year":"1992"},{"key":"10.1016\/S1570-2464(07)80019-X_bib33_2","first-page":"14","article-title":"Selected Papers","volume":"702","year":"1992","journal-title":"Lecture Notes in Computer Science"},{"article-title":"Functionality in the basic logic of proofs","year":"1993","author":"Artemov","key":"10.1016\/S1570-2464(07)80019-X_bib34"},{"key":"10.1016\/S1570-2464(07)80019-X_bib35","series-title":"Computational Logic and Proof Theory. Third Kurt Go'del Colloquium, KGC'93. Brno, Czech Republic, August 1993. Proceedings","first-page":"71","article-title":"The logic of the G\u00f6del proof predicate","volume":"713","author":"Artemov","year":"1993"},{"key":"10.1016\/S1570-2464(07)80019-X_bib36","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":"10.1016\/S1570-2464(07)80019-X_bib37","doi-asserted-by":"crossref","first-page":"935","DOI":"10.2307\/2274147","article-title":"On modal systems having arithmetical interpretations","volume":"49","author":"Avron","year":"1984","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib38","first-page":"365","article-title":"Modal logics for parallelism, orthogonality, and affine geometries","volume":"12","author":"Balbiani","year":"2002","journal-title":"Journal of Applied Non-classical Logics, Special issue on Spatial Reasoning"},{"article-title":"STS: A Structural Theory of Sets","year":"1998","author":"Baltag","key":"10.1016\/S1570-2464(07)80019-X_bib39"},{"key":"10.1016\/S1570-2464(07)80019-X_bib40","first-page":"1","article-title":"STS: a structural theory of sets","volume":"Volume 2","author":"Baltag","year":"2001"},{"year":"1996","author":"Barwise","key":"10.1016\/S1570-2464(07)80019-X_bib41"},{"key":"10.1016\/S1570-2464(07)80019-X_bib42_1","first-page":"915","article-title":"On the classification of propositional provability logics","volume":"53","author":"Beklemishev","year":"1989","journal-title":"Izvestiya Akademii Nauk SSSR, ser. mat."},{"key":"10.1016\/S1570-2464(07)80019-X_bib42_2","first-page":"247","article-title":"Russian. English translation in Math","volume":"35","year":"1990","journal-title":"USSR Izvestiya"},{"key":"10.1016\/S1570-2464(07)80019-X_bib43","doi-asserted-by":"crossref","first-page":"915","DOI":"10.1016\/0168-0072(94)90071-X","article-title":"On bimodal logics of provability","volume":"68","author":"Beklemishev","year":"1994","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib44","doi-asserted-by":"crossref","first-page":"91","DOI":"10.2307\/2275600","article-title":"Bimodal logics for extensions of arithmetical theories","volume":"61","author":"Beklemishev","year":"1996","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib45","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/S0304-3975(98)00305-3","article-title":"Parameter free induction and provably total computable functions","volume":"224","author":"Beklemishev","year":"1999","journal-title":"Theoretical Com- puter Science"},{"key":"10.1016\/S1570-2464(07)80019-X_bib46","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1007\/s00153-002-0158-7","article-title":"Proof-theoretic analysis by iterated reflection","volume":"42","author":"Beklemishev","year":"2003","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib47","article-title":"The Worm principle","volume":"219","author":"Beklemishev","year":"2003"},{"key":"10.1016\/S1570-2464(07)80019-X_bib48","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.apal.2003.11.030","article-title":"Provability algebras and proof-theoretic ordinals","volume":"128","author":"Beklemishev","year":"2004","journal-title":"I, Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib49","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1070\/RM2005v060n02ABEH000823","article-title":"Reflection principles and provability algebras in formal arithmetic","author":"Beklemishev","year":"2005","journal-title":"Russian Math- ematical Surveys"},{"key":"10.1016\/S1570-2464(07)80019-X_bib50","article-title":"Provability, complexity, grammars","volume":"192","author":"Beklemishev","year":"1999","journal-title":"American Mathematical Society Translations"},{"key":"10.1016\/S1570-2464(07)80019-X_bib51","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1093\/jigpal\/4.1.23","article-title":"Modal logics for qualitative spatial reasoning","volume":"4","author":"Bennet","year":"1996","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/S1570-2464(07)80019-X_bib52","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.2307\/2274474","article-title":"The interpretability logic of Peano arithmetic","volume":"55","author":"Berarducci","year":"1990","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib53","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0168-0072(93)90199-N","article-title":"On the provability logic of bounded arithmetic","volume":"61","author":"Berarducci","year":"1993","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib54","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF02123401","article-title":"The uniqueness of the fixed point in every diagonalizable algebra","volume":"35","author":"Bernardi","year":"1976","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib55","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s11225-005-4648-6","article-title":"Some results on modal axiomatization and definability for topological spaces","volume":"81","author":"Bezhanishvili","year":"2005","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib56","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/j.apal.2004.06.003","article-title":"Completeness of SA with respect to the real line: revizited","volume":"131","author":"Bezhanishvili","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"year":"2001","author":"Blackburn","key":"10.1016\/S1570-2464(07)80019-X_bib57"},{"key":"10.1016\/S1570-2464(07)80019-X_bib58","doi-asserted-by":"crossref","first-page":"761","DOI":"10.2307\/2274663","article-title":"Infinitary combinatorics and modal logic","volume":"55","author":"Blass","year":"1990","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib59_1","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BF00357928","article-title":"The coherence theory of empirical knowledge","volume":"30","author":"Bonjour","year":"1976","journal-title":"Philosophical Studies"},{"first-page":"70","year":"1993","series-title":"Contemporary Readings in Epistemology","key":"10.1016\/S1570-2464(07)80019-X_bib59_2"},{"key":"10.1016\/S1570-2464(07)80019-X_bib60","doi-asserted-by":"crossref","first-page":"779","DOI":"10.2307\/2272395","article-title":"On deciding the truth of certain statements involving the notion of consistency","volume":"41","author":"Boolos","year":"1976","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib61","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2273701","article-title":"Reflection principles and iterated consistency assertions","volume":"44","author":"Boolos","year":"1979","journal-title":"The Journal of Symbolic Logic"},{"year":"1979","series-title":"The Unprovability of Consistency: An Essay in Modal Logic","author":"Boolos","key":"10.1016\/S1570-2464(07)80019-X_bib62"},{"key":"10.1016\/S1570-2464(07)80019-X_bib63","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2273393","article-title":"Extremely undecidable sentences","volume":"47","author":"Boolos","year":"1982","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib64","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1080\/00029890.1984.11971467","article-title":"The logic of provability","volume":"91","author":"Boolos","year":"1984","journal-title":"American Mathematical Monthly"},{"year":"1993","series-title":"The Logic of Provability","author":"Boolos","key":"10.1016\/S1570-2464(07)80019-X_bib65"},{"key":"10.1016\/S1570-2464(07)80019-X_bib66","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00370383","article-title":"Provability: the emergence of a mathematical modality","volume":"50","author":"Boolos","year":"1991","journal-title":"Studia Logica"},{"article-title":"On explicit counterparts of modal logics","year":"2000","author":"Brezhnev","key":"10.1016\/S1570-2464(07)80019-X_bib67"},{"key":"10.1016\/S1570-2464(07)80019-X_bib68","first-page":"35","article-title":"On the Logic of Proofs","author":"Brezhnev","year":"2001"},{"key":"10.1016\/S1570-2464(07)80019-X_bib69","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.tcs.2006.03.010","article-title":"Making knowledge explicit: How hard it is","volume":"357","author":"Brezhnev","year":"2006","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80019-X_bib70","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1305\/ndjfl\/1093635417","article-title":"The modal logic of pure provability","volume":"31","author":"Buss","year":"1990","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib71","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1002\/malq.19890350407","article-title":"Rosser orderings in bimodal logics, Zeitschrift f. math","volume":"35","author":"Carbone","year":"1989","journal-title":"Logik und Grundlagen d. Math."},{"key":"10.1016\/S1570-2464(07)80019-X_bib72","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1002\/malq.19900360107","article-title":"Much shorter proofs: a bimodal investigation, Zeitschrift f. math","volume":"36","author":"Carbone","year":"1990","journal-title":"Logik und Grundlagen d. Math."},{"key":"10.1016\/S1570-2464(07)80019-X_bib73","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/BF02764872","article-title":"Modal logics with several operators and provability interpretations","volume":"54","author":"Carlson","year":"1986","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/S1570-2464(07)80019-X_bib74","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF00370331","article-title":"Modal companions of intermediate propositional logics","volume":"51","author":"Chagrov","year":"1992","journal-title":"Studia Logica"},{"year":"1997","series-title":"Modal Logic","author":"Chagrov","key":"10.1016\/S1570-2464(07)80019-X_bib75"},{"article-title":"Modal Logics for Continuous Dynamics","year":"1998","author":"Davoren","key":"10.1016\/S1570-2464(07)80019-X_bib76"},{"key":"10.1016\/S1570-2464(07)80019-X_bib77","first-page":"606","article-title":"The maximality of the intuitionistic predicate calculus with respect to Heyting's arith- metic","volume":"36","author":"de","year":"1970","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib78","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1002\/malq.19890350308","article-title":"Much shorter proofs","volume":"35","author":"de","year":"1989","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"10.1016\/S1570-2464(07)80019-X_bib79","series-title":"Logic: From Foundations to Applications. European Logic Colloquium, Keele, UK","first-page":"187","article-title":"Embeddings of Heyting algebras","author":"de","year":"1993"},{"key":"10.1016\/S1570-2464(07)80019-X_bib80","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF00370116","article-title":"The logic of linear tolerance","volume":"51","author":"Dzhaparidze","year":"1992","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib81","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0168-0072(93)90201-N","article-title":"A generalized notion of weak interpretability and the corresponding modal logic","volume":"61","author":"Dzhaparidze","year":"1993","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib82","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","article-title":"Point-set topological spatial relations","volume":"5","author":"Egenhofer","year":"1991","journal-title":"International Journal of Geo- graphical Information Systems"},{"article-title":"The modal logic of topological spaces","year":"1976","author":"Esakia","key":"10.1016\/S1570-2464(07)80019-X_bib83"},{"key":"10.1016\/S1570-2464(07)80019-X_bib84","series-title":"Logical and semantical investigations","first-page":"28","article-title":"Diagonal constructions, L\u00f6b's formula, and Cantor's scattered spaces","author":"Esakia","year":"1981"},{"key":"10.1016\/S1570-2464(07)80019-X_bib85","first-page":"244","article-title":"Weak transitivity \u2014 a restitution","volume":"volume 8","author":"Esakia","year":"2001"},{"key":"10.1016\/S1570-2464(07)80019-X_bib86","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/j.apal.2003.11.013","article-title":"Intuitionistic logic and modality via topology","volume":"127","author":"Esakia","year":"2004","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib87","first-page":"480","article-title":"Belief, awareness and limited reasoning","author":"Fagin","year":"1985"},{"key":"10.1016\/S1570-2464(07)80019-X_bib88","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","article-title":"Belief, awareness and limited reasoning","volume":"34","author":"Fagin","year":"1988","journal-title":"Artificial Intelligence"},{"year":"1995","series-title":"Reasoning About Knowledge","author":"Fagin","key":"10.1016\/S1570-2464(07)80019-X_bib89"},{"key":"10.1016\/S1570-2464(07)80019-X_bib90","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","article-title":"Arithmetization of metamathematics in a general setting","volume":"49","author":"Feferman","year":"1960","journal-title":"Fundamenta Mathematicae"},{"article-title":"A semantics for the Logic of Proofs","year":"2003","author":"Fitting","key":"10.1016\/S1570-2464(07)80019-X_bib91"},{"article-title":"Semantics and tableaus for LPS4","year":"2004","author":"Fitting","key":"10.1016\/S1570-2464(07)80019-X_bib92"},{"key":"10.1016\/S1570-2464(07)80019-X_bib93","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"},{"year":"1996","series-title":"Set Theory and the Continuum Problem","author":"Fitting","key":"10.1016\/S1570-2464(07)80019-X_bib94"},{"key":"10.1016\/S1570-2464(07)80019-X_bib95","first-page":"297","article-title":"Model theory of topological structures","volume":"vol. 1","author":"Flum","year":"1995"},{"key":"10.1016\/S1570-2464(07)80019-X_bib96","article-title":"Topological model theory","volume":"769","author":"Flum","year":"1980"},{"key":"10.1016\/S1570-2464(07)80019-X_bib97","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2271891","article-title":"102 problems in mathematical logic","volume":"40","author":"Friedman","year":"1975","journal-title":"The Journal of Symbolic Logic"},{"year":"1994","series-title":"Labelled Deductive Systems","author":"Gabbay","key":"10.1016\/S1570-2464(07)80019-X_bib98"},{"key":"10.1016\/S1570-2464(07)80019-X_bib99","article-title":"Multi-Dimentional Modal Logics: Theory and Applications","volume":"148","author":"Gabbay","year":"2003"},{"year":"2001","series-title":"Modal de.nability in topology","author":"Gabelaia","key":"10.1016\/S1570-2464(07)80019-X_bib100"},{"key":"10.1016\/S1570-2464(07)80019-X_bib101","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1613\/jair.1537","article-title":"Combining spatial and temporal logics: expressiveness vs. complexity","volume":"23","author":"Gabelaia","year":"2005","journal-title":"Journal of Artificial Intelligence Research"},{"year":"2006","series-title":"Non-primitive recursive decidability of products of modal logics with expanding domains","author":"Gabelaia","key":"10.1016\/S1570-2464(07)80019-X_bib102"},{"key":"10.1016\/S1570-2464(07)80019-X_bib103","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF02121664","article-title":"An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics","volume":"34","author":"Gerson","year":"1975","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib104","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/2271893","article-title":"The inadequacy of the neighbourhood semantics for modal logic","volume":"40","author":"Gerson","year":"1975","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib105","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/analys\/23.6.121","article-title":"Is Justified True Belief Knowledge","volume":"23","author":"Gettier","year":"1963","journal-title":"Analysis"},{"key":"10.1016\/S1570-2464(07)80019-X_bib106","doi-asserted-by":"crossref","first-page":"859","DOI":"10.2307\/2586506","article-title":"Unification in intuitionistic logic","volume":"64","author":"Ghilardi","year":"1999","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib107","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0168-0072(99)00032-9","article-title":"Best solving modal equations","volume":"102","author":"S","year":"2000","journal-title":"Annals of Pure and Applied Logic"},{"year":"1989","series-title":"Proofs and Types","author":"Girard","key":"10.1016\/S1570-2464(07)80019-X_bib108"},{"key":"10.1016\/S1570-2464(07)80019-X_bib109_1","first-page":"39","article-title":"Eine Interpretation des intuitionistischen Aussagenkalkuls","volume":"4","author":"G\u00f6del","year":"1933"},{"key":"10.1016\/S1570-2464(07)80019-X_bib109_2","first-page":"301","volume":"Volume I","author":"Feferman","year":"1986"},{"key":"10.1016\/S1570-2464(07)80019-X_bib110","series-title":"Kurt G\u00f6del Collected Works","first-page":"86","article-title":"Vortrag bei Zilsel","author":"G\u00f6del","year":"1995"},{"key":"10.1016\/S1570-2464(07)80019-X_bib111","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1111\/j.1755-2567.1978.tb00831.x","article-title":"Arithmetical necessity, provability and intuitionistic logic","volume":"44","author":"Goldblatt","year":"1978","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80019-X_bib112","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00370321","article-title":"Diodorean modality in Minkowski spacetime","volume":"39","author":"Goldblatt","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib113","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1002\/malq.19810273104","article-title":"Grothendieck topology as geometric modality","volume":"27","author":"Goldblatt","year":"1981","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"year":"1993","series-title":"Mathematics of Modality","author":"Goldblatt","key":"10.1016\/S1570-2464(07)80019-X_bib114"},{"key":"10.1016\/S1570-2464(07)80019-X_bib115","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S1570-8683(03)00008-9","article-title":"Mathematical modal logic: A view of its evolution","volume":"1","author":"Goldblatt","year":"2003","journal-title":"Journal of Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib116","doi-asserted-by":"crossref","first-page":"335","DOI":"10.2307\/2024268","article-title":"A causal theory of knowing","volume":"64","author":"Goldman","year":"1967","journal-title":"The Journal of Philosophy"},{"key":"10.1016\/S1570-2464(07)80019-X_bib117","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","article-title":"Using the universal modality: gains and questions","volume":"2","author":"Goranko","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80019-X_bib118","first-page":"265","article-title":"Universal algebra and modal logic","volume":"Volume 2","author":"Goranko","year":"2001"},{"key":"10.1016\/S1570-2464(07)80019-X_bib119","series-title":"Computer Science \u2014 Theory and Applications","first-page":"191","article-title":"Logic of proofs for bounded arithmetic","volume":"3967","author":"Goris","year":"2006"},{"article-title":"Modal matters in interpretability logics","year":"2004","author":"Goris","key":"10.1016\/S1570-2464(07)80019-X_bib120"},{"key":"10.1016\/S1570-2464(07)80019-X_bib121","doi-asserted-by":"crossref","first-page":"137","DOI":"10.4064\/fm-38-1-137-152","article-title":"Undecidability of some topological theories","volume":"38","author":"Grzegorczyk","year":"1951","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/S1570-2464(07)80019-X_bib122","doi-asserted-by":"crossref","first-page":"223","DOI":"10.4064\/fm-60-3-223-231","article-title":"Some relational systems and the associated topological spaces","volume":"60","author":"Grzegorczyk","year":"1967","journal-title":"Fundamenta Mathe- maticae"},{"key":"10.1016\/S1570-2464(07)80019-X_bib123","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0003-4843(79)90017-2","article-title":"Rosser sentences","volume":"16","author":"Guaspari","year":"1979","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib124","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF01634981","article-title":"The logic of \u03c01-conservativity","volume":"30","author":"H\u00e1jek","year":"1990","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib125","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01270395","article-title":"The logic of \u03c01-conservativity continued","volume":"32","author":"H\u00e1jek","year":"1992","journal-title":"Archive for Mathematical Logic"},{"year":"1993","series-title":"Metamathematics of First-Order Arithmetic","author":"H\u00e1jek","key":"10.1016\/S1570-2464(07)80019-X_bib126"},{"key":"10.1016\/S1570-2464(07)80019-X_bib127","doi-asserted-by":"crossref","first-page":"529","DOI":"10.2178\/jsl\/1052669062","article-title":"A simple maximality principle","volume":"68","author":"Hamkins","year":"2003","journal-title":"The Journal of Symbolic Logic"},{"year":"2005","series-title":"The modal logic of forcing","author":"Hamkins","key":"10.1016\/S1570-2464(07)80019-X_bib128"},{"key":"10.1016\/S1570-2464(07)80019-X_bib129","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1023\/A:1025059002654","article-title":"Active agents","author":"Hendricks","year":"2003","journal-title":"The Journal of Language, Logic and Information"},{"key":"10.1016\/S1570-2464(07)80019-X_bib130","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/BF02028143","article-title":"Die intuitionistische grundlegung der mathematik","volume":"2","author":"Heyting","year":"1931","journal-title":"Erkenntnis"},{"year":"1934","series-title":"Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie","author":"Heyting","key":"10.1016\/S1570-2464(07)80019-X_bib131"},{"year":"1956","series-title":"Intuitionism: An Introduction","author":"Heyting","key":"10.1016\/S1570-2464(07)80019-X_bib132"},{"volume":"Vols. I and II","year":"1968","author":"Hilbert","key":"10.1016\/S1570-2464(07)80019-X_bib133"},{"key":"10.1016\/S1570-2464(07)80019-X_bib134","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF00558761","article-title":"Impossible possible worlds vindicated","volume":"4","author":"Hintikka","year":"1975","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib135","first-page":"301","article-title":"A modal analysis of some principles of the provability logic of Heyting arithmetic","volume":"Volume 2","author":"Iemhoff","year":"2001"},{"key":"10.1016\/S1570-2464(07)80019-X_bib136","doi-asserted-by":"crossref","first-page":"281","DOI":"10.2307\/2694922","article-title":"On the admissible rules of intuitionistic propositional logic","volume":"66","author":"R","year":"2001","journal-title":"The Journal of Symbolic Logic"},{"article-title":"Provability logic and admissible rules","year":"2001","author":"Iemhoff","key":"10.1016\/S1570-2464(07)80019-X_bib137"},{"key":"10.1016\/S1570-2464(07)80019-X_bib138","series-title":"Com- puter Science Logic '03, Lecture Notes in Computer Science 2803","first-page":"255","article-title":"Towards a proof system for admissibility","author":"Iemhoff","year":"2003"},{"key":"10.1016\/S1570-2464(07)80019-X_bib139","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1305\/ndjfl\/1107220674","article-title":"Intermediate logics and Visser's rules","volume":"46","author":"Iemhoff","year":"2005","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib140","series-title":"ITLI Prepublication Series X-91-04","article-title":"Partial conservativity and modal logics","author":"Ignatiev","year":"1991"},{"key":"10.1016\/S1570-2464(07)80019-X_bib141","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2307\/2275337","article-title":"On strong provability predicates and the associated modal logics","volume":"58","author":"Ignatiev","year":"1993","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib142","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(93)90212-V","article-title":"The provability logic for \u03a31-interpolability","volume":"64","author":"Ignatiev","year":"1993","journal-title":"Annals of Pure and Applied Logic"},{"article-title":"The modal logical means of investigation of provability","year":"1986","author":"Japaridze","key":"10.1016\/S1570-2464(07)80019-X_bib143"},{"key":"10.1016\/S1570-2464(07)80019-X_bib144","series-title":"Intensional Logics and Logical Structure of Theories: Material from the fourth Soviet-Finnish Symposium on Logic, Telavi, May 20-24, 1985","first-page":"16","article-title":"The polymodal logic of provability","author":"Japaridze","year":"1988"},{"key":"10.1016\/S1570-2464(07)80019-X_bib145","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(03)00023-X","article-title":"Introduction to computability logic","volume":"123","author":"Japaridze","year":"2003","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib146","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.tcs.2006.03.014","article-title":"From truth to computability I","volume":"357","author":"Japaridze","year":"2006","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80019-X_bib147","series-title":"Handbook of Proof Theory","first-page":"475","article-title":"The Logic of Provability","author":"de Jongh","year":"1998"},{"article-title":"Interpretability formalized","year":"2004","author":"Joosten","key":"10.1016\/S1570-2464(07)80019-X_bib148"},{"year":"1952","series-title":"dIntroduction to Metamathematics","author":"Kleene","key":"10.1016\/S1570-2464(07)80019-X_bib149"},{"key":"10.1016\/S1570-2464(07)80019-X_bib150_1","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/BF01186549","article-title":"Zur Deutung der intuitionistischen logik","volume":"35","author":"Kolmogoroff","year":"1932","journal-title":"Mathematische Zeitschrift"},{"volume":"Volume I","first-page":"151","year":"1991","key":"10.1016\/S1570-2464(07)80019-X_bib150_2"},{"key":"10.1016\/S1570-2464(07)80019-X_bib151","series-title":"Proceedings of AiML 20","first-page":"182","article-title":"On dynamic topological and metric logics","author":"Konev","year":"2004"},{"year":"2006","series-title":"Ondynamic topological andmet r ic with continuous functions","author":"Konev","key":"10.1016\/S1570-2464(07)80019-X_bib152"},{"key":"10.1016\/S1570-2464(07)80019-X_bib153","article-title":"Tools and Techniques in Modal Logic","volume":"142","author":"Kracht","year":"1999"},{"key":"10.1016\/S1570-2464(07)80019-X_bib154","first-page":"375","article-title":"Temporal logic over S4: an axiomatizable fragment of dynamic topological logic","volume":"3","author":"Kremer","year":"1997","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib155","first-page":"371","article-title":"Dynamic topological logic","volume":"3","author":"Kremer","year":"1997","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib156","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.apal.2004.06.004","article-title":"Dynamic topological logic","volume":"131","author":"Kremer","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib157","first-page":"376","article-title":"Axiomatizing the next-interior fragment of dynamic topological logic","volume":"3","author":"Kremer","year":"1997","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib158","first-page":"83","article-title":"Semantical considerations on modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib159","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1016\/j.tcs.2006.03.015","article-title":"On the complexity of the reflected logic of proofs","volume":"357","author":"Krupski","year":"2006","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80019-X_bib160","series-title":"Logical Foundations of Computer Science '97","first-page":"167","article-title":"Operational logic of proofs with functionality condition on proof predicate","volume":"1234","author":"Krupski","year":"1997"},{"key":"10.1016\/S1570-2464(07)80019-X_bib161","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0168-0072(01)00058-6","article-title":"The single-conclusion proof logic and inference rules specification","volume":"113","author":"Krupski","year":"2001","journal-title":"Annals of Pure and Applied Logic"},{"year":"1980","series-title":"Set Theory: An Introduction to Independence Proofs","author":"Kunen","key":"10.1016\/S1570-2464(07)80019-X_bib162"},{"key":"10.1016\/S1570-2464(07)80019-X_bib163","doi-asserted-by":"crossref","first-page":"181","DOI":"10.4064\/fm-3-1-182-199","article-title":"Sur l'op\u00e9ration a de l'analysis situs","volume":"3","author":"Kuratowski","year":"1922","journal-title":"Fundamenta Mathematicae"},{"volume":"Volume 1","year":"1966","author":"Kuratowski","key":"10.1016\/S1570-2464(07)80019-X_bib164"},{"key":"10.1016\/S1570-2464(07)80019-X_bib165","first-page":"193","article-title":"Modal logics for metric spaces: open problems","volume":"Volume 2","author":"Kurucz","year":"2005"},{"key":"10.1016\/S1570-2464(07)80019-X_bib166","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/635499.635504","article-title":"Logics of metric spaces","volume":"4","author":"Kutz","year":"2003","journal-title":"ACM Transactions in Computational Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib167","first-page":"355","article-title":"Logic of Proofs as a measure of Hilbert-style complexity","volume":"12","author":"Kuznets","year":"2006","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib168","series-title":"Computer Science Logic 2000","first-page":"371","article-title":"On the complexity of explicit modal logics","volume":"1862","author":"Kuznets","year":"2000"},{"key":"10.1016\/S1570-2464(07)80019-X_bib169","series-title":"Abstracts of the 4th All-Union Con- ference on Mathematical Logic","first-page":"73","article-title":"The logic of provability","author":"Kuznetsov","year":"1976"},{"key":"10.1016\/S1570-2464(07)80019-X_bib170","series-title":"Fourteenth All-Union Algebra Conference, Abstracts, Part 2: Rings, Algebraic Structures","first-page":"105","article-title":"Magari algebras","author":"Kuznetsov","year":"1977"},{"key":"10.1016\/S1570-2464(07)80019-X_bib171","first-page":"76","article-title":"On superintuitionistic logics as fragments of proof logic","volume":"XLV","author":"Kuznetsov","year":"1986","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib172","first-page":"333","article-title":"Formal systems for topos-theoretic modalities","volume":"A 41","author":"Lavendhomme","year":"1989","journal-title":"Bull. Soc. Math. Belg. Sr."},{"key":"10.1016\/S1570-2464(07)80019-X_bib173","first-page":"329","article-title":"Quantifiers and sheaves","volume":"Tome 1","author":"Lawvere","year":"1970"},{"key":"10.1016\/S1570-2464(07)80019-X_bib174","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2024435","article-title":"Knowledge: undefeated justified true belief","volume":"66","author":"Lehrer","year":"1969","journal-title":"The Journal of Philosophy"},{"article-title":"Consistency strengths of Maximality principles","year":"2004","author":"Leibman","key":"10.1016\/S1570-2464(07)80019-X_bib175"},{"key":"10.1016\/S1570-2464(07)80019-X_bib176","doi-asserted-by":"crossref","first-page":"176","DOI":"10.2307\/2964179","article-title":"New foundations for Lewis's modal systems","volume":"22","author":"Lemmon","year":"1957","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib177","series-title":"Knowledge Contributors","article-title":"Knowledge, belief and subjective probability","author":"Lenzen","year":"2003"},{"key":"10.1016\/S1570-2464(07)80019-X_bib178","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1080\/00048409612347521","article-title":"Elusive knowledge","volume":"7","author":"Lewis","year":"1996","journal-title":"Australian Journal of Philosophy"},{"key":"10.1016\/S1570-2464(07)80019-X_bib179","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1111\/j.1755-2567.1996.tb00529.x","article-title":"Provability logic \u2014 a short introduction","volume":"62","author":"Lindstr\u00f6m","year":"1996","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80019-X_bib180","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2266895","article-title":"Solution of a problem of Leon Henkin","volume":"20","author":"L\u00f6b","year":"1955","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib181","unstructured":"[181] L\u00f6we, B. and D. Sarenac, Cardinal spaces and topological representations of bimodal logics, to appear."},{"key":"10.1016\/S1570-2464(07)80019-X_bib182","doi-asserted-by":"crossref","first-page":"165","DOI":"10.4064\/cm-28-2-165-180","article-title":"G\u00f6del's diagonalization technique and related properties of theories","volume":"28","author":"Macintyre","year":"1973","journal-title":"Colloquium Mathematicum"},{"key":"10.1016\/S1570-2464(07)80019-X_bib183","first-page":"117","article-title":"The diagonalizable algebras (the algebraization of the theories which express Theor.:II)","volume":"12","author":"Magari","year":"1975","journal-title":"Bollettino della Unione Matematica Italiana"},{"key":"10.1016\/S1570-2464(07)80019-X_bib184","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF02121661","article-title":"Representation and duality theory for diagonalizable algebras (the algebraization of the- ories which express Theor.IV)","volume":"34","author":"Magari","year":"1975","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib185","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0168-0072(93)00085-4","article-title":"Completeness results for intuitionistic and modal logic in a categorical setting","volume":"72","author":"Makkai","year":"1995","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib186","doi-asserted-by":"crossref","first-page":"17","DOI":"10.4064\/fm-1-1-17-27","article-title":"Contribution a la topologie des ensambles donomrables","volume":"1","author":"Mazurkiewicz","year":"1920","journal-title":"Funda- menta Mathematicae"},{"key":"10.1016\/S1570-2464(07)80019-X_bib187","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","article-title":"The algebra of topology","volume":"45","author":"McKinsey","year":"1944","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1570-2464(07)80019-X_bib188","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","article-title":"Some theorems about the sentential calculi of Lewis and Heyting","volume":"13","author":"McKinsey","year":"1948","journal-title":"The Journal of Symbolic Logic"},{"year":"1995","series-title":"Epistemic Logic for AI and Computer Science","author":"Meyer","key":"10.1016\/S1570-2464(07)80019-X_bib189"},{"key":"10.1016\/S1570-2464(07)80019-X_bib190","series-title":"Annals of Pure and Applied Logic","article-title":"Derivability in certain subsystems of the Logic of Proofs is \u03a02p-complete","author":"Milnikel","year":"2006"},{"key":"10.1016\/S1570-2464(07)80019-X_bib191_1","series-title":"Modal Logic (Russian translation)","first-page":"422","article-title":"Lewis' systems and system T (a survey 1965-1973)","author":"Mints","year":"1974"},{"year":"1992","series-title":"Selected papers in proof theory","author":"Mints","key":"10.1016\/S1570-2464(07)80019-X_bib191_2"},{"key":"10.1016\/S1570-2464(07)80019-X_bib192","series-title":"Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa","article-title":"A completeness proof for propositional S4 in Cantor space","author":"Mints","year":"1998"},{"key":"10.1016\/S1570-2464(07)80019-X_bib193","first-page":"266","article-title":"Models for the Logic of Proofs","volume":"1234","author":"Mkrtychev","year":"1997"},{"key":"10.1016\/S1570-2464(07)80019-X_bib194","first-page":"795","article-title":"On the diagonalizable algebra of Peano arithmetic","volume":"16","author":"Montagna","year":"1979","journal-title":"Bollettino della Unione Matematica Italiana"},{"key":"10.1016\/S1570-2464(07)80019-X_bib195","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00713544","article-title":"Undecidability of the first order theory of diagonalizable algebras","volume":"39","author":"Montagna","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib196","first-page":"179","article-title":"The predicate modal logic of provability","volume":"25","author":"Montagna","year":"1987","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib197","first-page":"153","article-title":"Syntactical treatments of modality with corollaries on reflection principles and finite axiomatizability","volume":"16","author":"Montague","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib198","series-title":"Theoretical Aspects of Reasoning about Knowledge","first-page":"261","article-title":"Resource-bounded knowledge","author":"Moses","year":"1988"},{"key":"10.1016\/S1570-2464(07)80019-X_bib199","doi-asserted-by":"crossref","first-page":"461","DOI":"10.2307\/2023664","article-title":"Some remarks on the notion of proof","volume":"57","author":"Myhill","year":"1960","journal-title":"Journal of Philosophy"},{"key":"10.1016\/S1570-2464(07)80019-X_bib200","series-title":"Intensional Mathematics","first-page":"47","article-title":"Intensional set theory","author":"Myhill","year":"1988"},{"key":"10.1016\/S1570-2464(07)80019-X_bib201","first-page":"356","article-title":"On logic of proofs and provability","volume":"12","author":"Nogina","year":"2006","journal-title":"The Bulletin of Symbolic Logic"},{"article-title":"Logic of proofs with the strong provability operator","year":"1994","author":"Nogina","key":"10.1016\/S1570-2464(07)80019-X_bib202"},{"key":"10.1016\/S1570-2464(07)80019-X_bib203","first-page":"483","article-title":"Grzegorczyk logic with arithmetical proof operators","volume":"2","author":"Nogina","year":"1996","journal-title":"Fundamental and Applied Mathe- matics"},{"year":"1981","series-title":"Philosophical Explanations","author":"Nozick","key":"10.1016\/S1570-2464(07)80019-X_bib204"},{"key":"10.1016\/S1570-2464(07)80019-X_bib205","first-page":"263","article-title":"The calculus of compatibility of propositions","volume":"35","author":"Orlov","year":"1928","journal-title":"Matematicheskii Sbornik"},{"key":"10.1016\/S1570-2464(07)80019-X_bib206","series-title":"ISMIS-87 (International Symposium on Methodolody for Intellectual Systems)","first-page":"432","article-title":"Knowledge and the problem of logical omniscience","author":"Parikh","year":"1987"},{"key":"10.1016\/S1570-2464(07)80019-X_bib207","series-title":"Logic and Computational Complexity, In- ternational Workshop LCC '94, Indianapolis, Indiana, USA","first-page":"22","article-title":"Logical omniscience","volume":"960","author":"Parikh","year":"1995"},{"year":"1957","series-title":"Time and Modality","author":"Prior","key":"10.1016\/S1570-2464(07)80019-X_bib208"},{"year":"1967","series-title":"Past, Present and Future","author":"Prior","key":"10.1016\/S1570-2464(07)80019-X_bib209"},{"year":"1969","series-title":"Papers on Time and Tense","author":"Prior","key":"10.1016\/S1570-2464(07)80019-X_bib210"},{"key":"10.1016\/S1570-2464(07)80019-X_bib211","series-title":"Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92)","first-page":"165","article-title":"A spatial logic based on regions and connection","author":"Randell","year":"1992"},{"key":"10.1016\/S1570-2464(07)80019-X_bib212","series-title":"Spatial Congnition \u2014 An Interdisciplinary Approach to Representation and Processing of Spatial Knowledge","first-page":"351","article-title":"Spatial reasoning with topological information","volume":"1404","author":"Renz","year":"1998"},{"key":"10.1016\/S1570-2464(07)80019-X_bib213","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1305\/ndjfl\/1093635834","article-title":"A topos-theoretic approach to reference and modality","volume":"32","author":"Reyes","year":"1991","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib214","series-title":"Conference on Category theory '90","first-page":"359","article-title":"Topos-theoretic approaches to modality","volume":"1488","author":"Reyes","year":"1991"},{"key":"10.1016\/S1570-2464(07)80019-X_bib215","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00357841","article-title":"Bi-Heyting algebras, toposes and modalities","volume":"25","author":"Reyes","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib216","article-title":"Stetigkeitsbegriff und abstrakte mengenlehre","volume":"v. II","author":"Riesz","year":"1909"},{"key":"10.1016\/S1570-2464(07)80019-X_bib217","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2273049","article-title":"Metamathematical problems","volume":"38","author":"Robinson","year":"1973","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib218","doi-asserted-by":"crossref","first-page":"87","DOI":"10.2307\/2269028","article-title":"Extensions of some theorems of G\u00f6del and Church","volume":"1","author":"Rosser","year":"1936","journal-title":"The Journal of Symbolic Logic"},{"article-title":"Modal logic and topological products","year":"2005","author":"Sarenac","key":"10.1016\/S1570-2464(07)80019-X_bib219"},{"key":"10.1016\/S1570-2464(07)80019-X_bib220","series-title":"Philosophical Problems in Logic","first-page":"143","article-title":"Advice on modal logic","author":"Scott","year":"1970"},{"key":"10.1016\/S1570-2464(07)80019-X_bib221","series-title":"Intensional Mathematics","first-page":"11","article-title":"Epistemic and intuitionistic arithmetic","author":"Shapiro","year":"1985"},{"key":"10.1016\/S1570-2464(07)80019-X_bib222","series-title":"Inten- sional Mathematics","first-page":"1","article-title":"Intensional mathematics and constructive mathematics","author":"Shapiro","year":"1985"},{"key":"10.1016\/S1570-2464(07)80019-X_bib223","first-page":"437","article-title":"Chronological future modality in Minkowski spacetime","volume":"Volume 4","author":"Shapirovsky","year":"2003"},{"key":"10.1016\/S1570-2464(07)80019-X_bib224","series-title":"Preprint, Steklov Math- ematical Institute","article-title":"The logic of relative interpretability over Peano arithmetic","author":"Shavrukov","year":"1988"},{"key":"10.1016\/S1570-2464(07)80019-X_bib225","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/malq.19910371906","article-title":"On Rosser's provability predicate","volume":"37","author":"Shavrukov","year":"1991","journal-title":"Zeitschrift f. math. Logik und Grundlagen d. Math."},{"key":"10.1016\/S1570-2464(07)80019-X_bib226","first-page":"161","article-title":"A smart child of Peano's","volume":"35","author":"Shavrukov","year":"1994","journal-title":"Notre Dame Journal of Formai Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib227","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1111\/j.1755-2567.1997.tb00748.x","article-title":"Isomorphisms of diagonalizable algebras","volume":"63","author":"Shavrukov","year":"1997","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80019-X_bib228","first-page":"74","article-title":"Topological models of propositional logics","volume":"15","author":"Shehtman","year":"1980"},{"key":"10.1016\/S1570-2464(07)80019-X_bib229","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF01418760","volume":"42","author":"Shehtman","year":"1983","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib230","article-title":"Derived sets in Euclidean spaces and modal logic","volume":"X-90-05","author":"Shehtman","year":"1990"},{"key":"10.1016\/S1570-2464(07)80019-X_bib231","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1080\/11663081.1999.10510972","article-title":"Everywhere\u201c and \u201chere","volume":"9","author":"Shehtman","year":"1999","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10.1016\/S1570-2464(07)80019-X_bib232","article-title":"Derivational modal logics","author":"Shehtman","year":"2005","journal-title":"Moscow Mathematical Journal"},{"year":"2005","series-title":"On neighbourhood semantics thirty years later","author":"Shehtman","key":"10.1016\/S1570-2464(07)80019-X_bib233"},{"key":"10.1016\/S1570-2464(07)80019-X_bib234","series-title":"Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005","first-page":"651","article-title":"Comparative similarity, tree au- tomata, and Diophantine equations","volume":"3835","author":"Sheremet","year":"2005"},{"key":"10.1016\/S1570-2464(07)80019-X_bib235","series-title":"Logical Foundations of Computer Science '97","first-page":"342","article-title":"Provability logic with operations on proofs","volume":"1234","author":"Sidon","year":"1997"},{"article-title":"Two counterexamples in the logic of dynamic topological systems","year":"2003","author":"Slavnov","key":"10.1016\/S1570-2464(07)80019-X_bib236"},{"key":"10.1016\/S1570-2464(07)80019-X_bib237","doi-asserted-by":"crossref","first-page":"477","DOI":"10.17323\/1609-4514-2005-5-2-477-492","article-title":"On completeness of dynamic topological logic","volume":"5","author":"Slavnov","year":"2005","journal-title":"Moscow Mathematical Journal"},{"key":"10.1016\/S1570-2464(07)80019-X_bib238","first-page":"237","article-title":"The logical basis of ethics","volume":"16","author":"Smiley","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib239","series-title":"Mathematical Investigations of Intuitionistic Arithmetic and Analysis","first-page":"324","article-title":"Applications of Kripke models","author":"Smorynski","year":"1973"},{"key":"10.1016\/S1570-2464(07)80019-X_bib240","series-title":"Handbook of Mathematical Logic","first-page":"821","article-title":"The incompleteness theorems","author":"Smory\u0144ski","year":"1977"},{"year":"1985","series-title":"lf-Reference and Modal Logic","author":"Smory\u0144ski","key":"10.1016\/S1570-2464(07)80019-X_bib241"},{"key":"10.1016\/S1570-2464(07)80019-X_bib242","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1007\/BF02757006","article-title":"Provability interpretations of modal logic","volume":"25","author":"Solovay","year":"1976","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/S1570-2464(07)80019-X_bib243","doi-asserted-by":"crossref","first-page":"986","DOI":"10.2307\/2273663","article-title":"Modal analysis of generalized Rosser sentences","volume":"48","author":"Svejdar","year":"1983","journal-title":"The Journal of Symbolic Logic"},{"year":"1987","series-title":"Proof Theory","author":"Takeuti","key":"10.1016\/S1570-2464(07)80019-X_bib244"},{"year":"1953","series-title":"Undecidable Theories","author":"Tarski","key":"10.1016\/S1570-2464(07)80019-X_bib245"},{"volume":"vols 1, 2","year":"1988","author":"Troelstra","key":"10.1016\/S1570-2464(07)80019-X_bib246"},{"key":"10.1016\/S1570-2464(07)80019-X_bib247","first-page":"5","article-title":"Reflections on epistemic logic","volume":"133\u2013134","author":"van","year":"1993","journal-title":"Logique & Analyse"},{"article-title":"Modal frame correspondence generalized","year":"2005","author":"van","key":"10.1016\/S1570-2464(07)80019-X_bib248"},{"key":"10.1016\/S1570-2464(07)80019-X_bib249","first-page":"247","article-title":"Logics of transition systems","volume":"3","author":"van","year":"1995","journal-title":"Journal of Logic, Language, and Information"},{"key":"10.1016\/S1570-2464(07)80019-X_bib250","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1023\/B:STUD.0000009564.00287.16","article-title":"Euclidean hierarchy in modal logic","volume":"75","author":"van","year":"2003","journal-title":"Studia Logica"},{"year":"2006","series-title":"Multimodal logics for products of topologies","author":"van","key":"10.1016\/S1570-2464(07)80019-X_bib251"},{"key":"10.1016\/S1570-2464(07)80019-X_bib252","first-page":"569","article-title":"Arithmetic comlexity of predicate logics of provability and their fragments","volume":"33","author":"Vardanyan","year":"1986","journal-title":"Soviet Mathematics Doklady"},{"article-title":"Aspects of Diagonalization and Provability","year":"1981","author":"Visser","key":"10.1016\/S1570-2464(07)80019-X_bib253"},{"key":"10.1016\/S1570-2464(07)80019-X_bib254","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00297579","article-title":"The provability logics of recursively enumerable theories extending Peano Arithmetic at arbitrary theories extending Peano Arithmetic","volume":"13","author":"Visser","year":"1984","journal-title":"Journal of Philosophic Logic"},{"year":"1985","series-title":"Evaluation, provably deductive equivalence in Heyting Arithmetic of substitution instances of propositional formulas","author":"Visser","key":"10.1016\/S1570-2464(07)80019-X_bib255"},{"key":"10.1016\/S1570-2464(07)80019-X_bib256","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1305\/ndjfl\/1093635077","article-title":"Peano's smart children. A provability logical study of systems with built-in consistency","volume":"30","author":"Visser","year":"1989","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib257","series-title":"Mathematical Logic","first-page":"175","article-title":"Interpretability logic","author":"Visser","year":"1990"},{"key":"10.1016\/S1570-2464(07)80019-X_bib258","series-title":"Logic Group Preprint Series 117","article-title":"Propositional combinations of \u03a31-sentences in Heyting's Arithmetic","author":"Visser","year":"1994"},{"key":"10.1016\/S1570-2464(07)80019-X_bib259","first-page":"307","article-title":"An overview of interpretability logic","volume":"Volume 1","author":"Visser","year":"1998"},{"key":"10.1016\/S1570-2464(07)80019-X_bib260","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1305\/ndjfl\/1039096308","article-title":"Rules and arithmetics","volume":"40","author":"Visser","year":"1999","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib261","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0168-0072(01)00081-1","article-title":"Substitutions of \u03a310-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic","volume":"114","author":"Visser","year":"2002","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib262","series-title":"Processes, Terms and Cycles: Steps on the Road to Infinity. Essays Dedi- cated to Jan Willem Klop on the Occasion of his 60th Birthday","first-page":"14","article-title":"L\u00f6b's logic meets the \u03bc-calculus","volume":"3838","author":"Visser","year":"2005"},{"key":"10.1016\/S1570-2464(07)80019-X_bib263","first-page":"14","article-title":"A letter to G\u00f6del on January 12, 1931","volume":"Volume V","author":"von","year":"2003"},{"key":"10.1016\/S1570-2464(07)80019-X_bib264_1","first-page":"293","article-title":"And next","volume":"18","author":"von","year":"1965","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1570-2464(07)80019-X_bib264_2","first-page":"208","article-title":"Always","volume":"34","author":"von","year":"1968","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80019-X_bib265","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1111\/j.1755-2567.1968.tb00352.x","volume":"34","author":"von","year":"1968","journal-title":"Always Theoria"},{"key":"10.1016\/S1570-2464(07)80019-X_bib266","series-title":"Pro- ceedings of the 14th European Conference in Artificial Intelligence (ECAI 2000)","first-page":"244","article-title":"Spatial reasoning in RCC-8 with Boolean region terms","author":"Wolter","year":"2000"},{"key":"10.1016\/S1570-2464(07)80019-X_bib267","series-title":"18th International Joint Conference on Artificial Intelligence (IJCAI 2003)","first-page":"1275","article-title":"Reasoning about distances","author":"Wolter","year":"2003"},{"key":"10.1016\/S1570-2464(07)80019-X_bib268","doi-asserted-by":"crossref","first-page":"795","DOI":"10.2178\/jsl\/1122038915","article-title":"A logic for metric and topology","volume":"70","author":"Wolter","year":"2005","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib269","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/S0168-0072(01)00066-5","article-title":"Logic of proofs and provability","volume":"113","author":"Yavorskaya","year":"2001","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80019-X_bib270","series-title":"Computer Science Logic 2000","first-page":"527","article-title":"On the logic of the standard proof predicate","volume":"1862","author":"Yavorsky","year":"2000"},{"key":"10.1016\/S1570-2464(07)80019-X_bib271","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/S0168-0072(01)00067-7","article-title":"Provability logics with quantifiers on proofs","volume":"113","author":"Yavorsky","year":"2001","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Studies in Logic and Practical Reasoning","Handbook of Modal Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157024640780019X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157024640780019X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:17:05Z","timestamp":1761607025000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157024640780019X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":278,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80019-x","relation":{},"ISSN":["1570-2464"],"issn-type":[{"type":"print","value":"1570-2464"}],"subject":[],"published":{"date-parts":[[2007]]}}}