{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:46:15Z","timestamp":1783111575872,"version":"3.54.6"},"reference-count":46,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6310,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1996,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems<jats:bold>L<\/jats:bold><jats:sub><jats:italic>i<\/jats:italic><\/jats:sub>,<jats:italic>i<\/jats:italic>\u2208<jats:italic>I<\/jats:italic>, to form a new system<jats:bold>L<\/jats:bold><jats:sub><jats:italic>I<\/jats:italic><\/jats:sub>. The methodology \u2018fibres\u2019 the semantics<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200016807_inline1\"\/><jats:italic><jats:sub>i<\/jats:sub><\/jats:italic>of<jats:bold>L<\/jats:bold><jats:sub><jats:italic>i<\/jats:italic><\/jats:sub>into a semantics for<jats:italic>L<jats:sub>I<\/jats:sub><\/jats:italic>, and \u2018weaves\u2019 the proof theory (axiomatics) of<jats:bold>L<\/jats:bold><jats:sub><jats:italic>i<\/jats:italic><\/jats:sub>into a proof system of<jats:bold>L<\/jats:bold><jats:sub><jats:italic>I<\/jats:italic><\/jats:sub>. There are various ways of doing this, we distinguish by different names such as \u2018fibring\u2019, \u2018dovetailing\u2019 etc, yielding different systems, denoted by<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200016807_inline2\"\/>etc. Once the logics are \u2018weaved\u2019, further \u2018interaction\u2019 axioms can be geometrically motivated and added, and then systematically studied. The methodology is general and is applied to modal and intuitionistic logics as well as to general algebraic logics. We obtain general results on bulk, in the sense that we develop standard combining techniques and refinements which can be applied to any family of initial logics to obtain further combined logics.<\/jats:p><jats:p>The main results of this paper is a construction for combining arbitrary, (possibly not normal) modal or intermediate logics, each complete for a class of (not necessarily frame) Kripke models. We show transfer of recursive axiomatisability, decidability and finite model property.<\/jats:p><jats:p>Some results on combining logics (normal modal extensions of<jats:bold>K<\/jats:bold>) have recently been introduced by Kracht and Wolter, Goranko and Passy and by Fine and Schurz as well as a multitude of special combined systems existing in the literature of the past 20\u201330 years. We hope our methodology will help organise the field systematically.<\/jats:p>","DOI":"10.2307\/2275807","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:59:54Z","timestamp":1146956394000},"page":"1057-1120","source":"Crossref","is-referenced-by-count":58,"title":["Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics"],"prefix":"10.1017","volume":"61","author":[{"given":"D. M.","family":"Gabbay","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200016807_ref036","first-page":"402","volume-title":"IJCAI-87","author":"Lakemeyer","year":"1987"},{"key":"S0022481200016807_ref027","first-page":"347","volume-title":"Views on conditionals","author":"Gabbay","year":"1995"},{"key":"S0022481200016807_ref019","first-page":"179","article-title":"Axiomatizations for some intuitionistic modal logics","volume":"42","author":"Fischer-Servi","year":"1984","journal-title":"Rend. Sem. Mat. Univ. Politecn. Torino"},{"key":"S0022481200016807_ref033","volume":"65","author":"Jones","year":"1985","journal-title":"Ideality, subideality and denontic logic"},{"key":"S0022481200016807_ref003","volume-title":"Memoirs of AMS","author":"Blok","year":"1989"},{"key":"S0022481200016807_ref015","article-title":"Combining temporal logic systems","author":"Finger","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S0022481200016807_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90079-3"},{"key":"S0022481200016807_ref014","author":"Fine","journal-title":"Transfer theorems for stratified multimodal logics"},{"key":"S0022481200016807_ref001","volume-title":"Studio Logica","author":"Amati"},{"key":"S0022481200016807_ref024","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","article-title":"Many valued modal logics II","volume":"17","author":"Fitting","year":"1992","journal-title":"Fundamenta Informaticae"},{"key":"S0022481200016807_ref039","first-page":"55","article-title":"Some problems in intermediate predicate logics","volume":"21","author":"Ono","year":"1987","journal-title":"Reports on Mathematical Logic"},{"key":"S0022481200016807_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/BF00156915"},{"key":"S0022481200016807_ref043","volume-title":"Time and modality","author":"Prior","year":"1957"},{"key":"S0022481200016807_ref006","first-page":"609","volume":"31","author":"Bull","year":"1966","journal-title":"MIPC as the formalization of an intuitionistic concept of modality"},{"key":"S0022481200016807_ref040","doi-asserted-by":"publisher","DOI":"10.1007\/BF01200477"},{"key":"S0022481200016807_ref002","unstructured":"Blackburn P. and de Rijke M. , Why combine logics?, to appear."},{"key":"S0022481200016807_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8937-5_5"},{"key":"S0022481200016807_ref005","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093958154"},{"key":"S0022481200016807_ref026","volume-title":"Logic Colloquium 1992","author":"Gabbay","year":"1992"},{"key":"S0022481200016807_ref038","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195189604"},{"key":"S0022481200016807_ref044","doi-asserted-by":"publisher","DOI":"10.1007\/BF02770508"},{"key":"S0022481200016807_ref011","volume-title":"Combining logics","author":"Eiben","year":"1992"},{"key":"S0022481200016807_ref035","first-page":"1469","volume":"56","author":"Kracht","year":"1991","journal-title":"Properties of independently axiomatizable bimodal logics"},{"key":"S0022481200016807_ref029","first-page":"95","volume-title":"Logic Colloquium 92","author":"Gabbay","year":"1995"},{"key":"S0022481200016807_ref023","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","article-title":"Many valued modal logics","volume":"15","author":"Fitting","year":"1991","journal-title":"Fundamenta Informatica"},{"key":"S0022481200016807_ref025","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636766"},{"key":"S0022481200016807_ref007","volume-title":"Lecture notes","author":"Czelakowski","year":"1992"},{"key":"S0022481200016807_ref041","volume-title":"Fundamentals of artificial intelligence research","author":"Pfalzgraf","year":"1991"},{"key":"S0022481200016807_ref028","volume-title":"How to make your logic fuzzy","author":"Gabbay","year":"1995"},{"key":"S0022481200016807_ref030","first-page":"39","article-title":"Eine Interpretation des intuitistischen aussagenkalk\u00fcls","volume":"4","author":"G\u00f6del","year":"1933","journal-title":"Ergebnisse eines Mathematischen Kolloquiums"},{"key":"S0022481200016807_ref021","unstructured":"Fitting M. , Tableaux for many valued modal logic, Report, 01 25, 1994."},{"key":"S0022481200016807_ref031","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.1.5"},{"key":"S0022481200016807_ref032","volume-title":"Annals of Mathematics and Artificial Intelligence","author":"Jones"},{"key":"S0022481200016807_ref034","doi-asserted-by":"publisher","DOI":"10.1007\/BF00413581"},{"key":"S0022481200016807_ref017","article-title":"On modal logic with an intuitionistic base","volume":"36","author":"Fischer-Servi","year":"1977","journal-title":"Studia"},{"key":"S0022481200016807_ref046","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(90)90059-B"},{"key":"S0022481200016807_ref037","first-page":"198","volume-title":"AAI-84","author":"Levesque","year":"1984"},{"key":"S0022481200016807_ref042","volume-title":"Automated practical reasoning: Algebraic approaches","author":"Pfalzgraf","year":"1994"},{"key":"S0022481200016807_ref022","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1969.tb00372.x"},{"key":"S0022481200016807_ref013","first-page":"41","volume-title":"Reasoning about knowledge, TARK 1990","author":"Fagin","year":"1990"},{"key":"S0022481200016807_ref020","first-page":"113","article-title":"Intuitionistic modal logic with quantifiers","volume":"7","author":"Fitch","year":"1948","journal-title":"Portugalia Mathematica"},{"key":"S0022481200016807_ref009","article-title":"Fibred semantics for feature based grammar logic","author":"D\u00f6rre","journal-title":"Journal of Logic, Language and Information"},{"key":"S0022481200016807_ref012","first-page":"166","volume":"51","author":"Ewald","year":"1986","journal-title":"Intuitionistic tense and modal logic"},{"key":"S0022481200016807_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370809"},{"key":"S0022481200016807_ref045","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370365"},{"key":"S0022481200016807_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BF02429840"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200016807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,26]],"date-time":"2021-07-26T20:32:00Z","timestamp":1627331520000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200016807\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":46,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["S0022481200016807"],"URL":"https:\/\/doi.org\/10.2307\/2275807","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}