FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022355674> ?p ?o ?g. }

• W2022355674 endingPage "1120" @default.
• W2022355674 startingPage "1057" @default.
• W2022355674 abstract "Abstract 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 L i , i ∈ I , to form a new system L I . The methodology ‘fibres’ the semantics i of L i into a semantics for L I , and ‘weaves’ the proof theory (axiomatics) of L i into a proof system of L I . There are various ways of doing this, we distinguish by different names such as ‘fibring’, ‘dovetailing’ etc, yielding different systems, denoted by etc. Once the logics are ‘weaved’, further ‘interaction’ 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. 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. Some results on combining logics (normal modal extensions of K ) 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–30 years. We hope our methodology will help organise the field systematically." @default.
• W2022355674 created "2016-06-24" @default.
• W2022355674 creator A5060284292 @default.
• W2022355674 date "1996-12-01" @default.
• W2022355674 modified "2023-09-26" @default.
• W2022355674 title "Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics" @default.
• W2022355674 cites W130537534 @default.
• W2022355674 cites W1981678934 @default.
• W2022355674 cites W1997477297 @default.
• W2022355674 cites W2017661088 @default.
• W2022355674 cites W2018509459 @default.
• W2022355674 cites W2028965700 @default.
• W2022355674 cites W2031349440 @default.
• W2022355674 cites W2031430534 @default.
• W2022355674 cites W2039904055 @default.
• W2022355674 cites W2051342534 @default.
• W2022355674 cites W2062539190 @default.
• W2022355674 cites W2067278394 @default.
• W2022355674 cites W2074726874 @default.
• W2022355674 cites W2077513906 @default.
• W2022355674 cites W2164389533 @default.
• W2022355674 cites W2187936207 @default.
• W2022355674 cites W2032663284 @default.
• W2022355674 doi "https://doi.org/10.2307/2275807" @default.
• W2022355674 hasPublicationYear "1996" @default.
• W2022355674 type Work @default.
• W2022355674 sameAs 2022355674 @default.
• W2022355674 citedByCount "82" @default.
• W2022355674 countsByYear W20223556742012 @default.
• W2022355674 countsByYear W20223556742013 @default.
• W2022355674 countsByYear W20223556742014 @default.
• W2022355674 countsByYear W20223556742015 @default.
• W2022355674 countsByYear W20223556742016 @default.
• W2022355674 countsByYear W20223556742017 @default.
• W2022355674 countsByYear W20223556742018 @default.
• W2022355674 countsByYear W20223556742022 @default.
• W2022355674 countsByYear W20223556742023 @default.
• W2022355674 crossrefType "journal-article" @default.
• W2022355674 hasAuthorship W2022355674A5060284292 @default.
• W2022355674 hasConcept C102993220 @default.
• W2022355674 hasConcept C11191006 @default.
• W2022355674 hasConcept C11413529 @default.
• W2022355674 hasConcept C118615104 @default.
• W2022355674 hasConcept C136119220 @default.
• W2022355674 hasConcept C153269930 @default.
• W2022355674 hasConcept C160131679 @default.
• W2022355674 hasConcept C167729594 @default.
• W2022355674 hasConcept C178421362 @default.
• W2022355674 hasConcept C184337299 @default.
• W2022355674 hasConcept C185592680 @default.
• W2022355674 hasConcept C188027245 @default.
• W2022355674 hasConcept C199343813 @default.
• W2022355674 hasConcept C199360897 @default.
• W2022355674 hasConcept C202444582 @default.
• W2022355674 hasConcept C203659156 @default.
• W2022355674 hasConcept C2524010 @default.
• W2022355674 hasConcept C27508121 @default.
• W2022355674 hasConcept C2777686260 @default.
• W2022355674 hasConcept C2779729104 @default.
• W2022355674 hasConcept C33203268 @default.
• W2022355674 hasConcept C33923547 @default.
• W2022355674 hasConcept C41008148 @default.
• W2022355674 hasConcept C69562738 @default.
• W2022355674 hasConcept C71139939 @default.
• W2022355674 hasConcept C71924100 @default.
• W2022355674 hasConcept C80444323 @default.
• W2022355674 hasConceptScore W2022355674C102993220 @default.
• W2022355674 hasConceptScore W2022355674C11191006 @default.
• W2022355674 hasConceptScore W2022355674C11413529 @default.
• W2022355674 hasConceptScore W2022355674C118615104 @default.
• W2022355674 hasConceptScore W2022355674C136119220 @default.
• W2022355674 hasConceptScore W2022355674C153269930 @default.
• W2022355674 hasConceptScore W2022355674C160131679 @default.
• W2022355674 hasConceptScore W2022355674C167729594 @default.
• W2022355674 hasConceptScore W2022355674C178421362 @default.
• W2022355674 hasConceptScore W2022355674C184337299 @default.
• W2022355674 hasConceptScore W2022355674C185592680 @default.
• W2022355674 hasConceptScore W2022355674C188027245 @default.
• W2022355674 hasConceptScore W2022355674C199343813 @default.
• W2022355674 hasConceptScore W2022355674C199360897 @default.
• W2022355674 hasConceptScore W2022355674C202444582 @default.
• W2022355674 hasConceptScore W2022355674C203659156 @default.
• W2022355674 hasConceptScore W2022355674C2524010 @default.
• W2022355674 hasConceptScore W2022355674C27508121 @default.
• W2022355674 hasConceptScore W2022355674C2777686260 @default.
• W2022355674 hasConceptScore W2022355674C2779729104 @default.
• W2022355674 hasConceptScore W2022355674C33203268 @default.
• W2022355674 hasConceptScore W2022355674C33923547 @default.
• W2022355674 hasConceptScore W2022355674C41008148 @default.
• W2022355674 hasConceptScore W2022355674C69562738 @default.
• W2022355674 hasConceptScore W2022355674C71139939 @default.
• W2022355674 hasConceptScore W2022355674C71924100 @default.
• W2022355674 hasConceptScore W2022355674C80444323 @default.
• W2022355674 hasIssue "4" @default.
• W2022355674 hasLocation W20223556741 @default.
• W2022355674 hasOpenAccess W2022355674 @default.
• W2022355674 hasPrimaryLocation W20223556741 @default.
• W2022355674 hasRelatedWork W1975181532 @default.

• next