Matches in SemOpenAlex for { <https://semopenalex.org/work/W1509781306> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1509781306 endingPage "92" @default.
- W1509781306 startingPage "77" @default.
- W1509781306 abstract "The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for logical systems: we describe how to uniformly construct a sound and complete tableau calculus for the combined logic from calculi for the component logics. We consider semantic tableau calculi that satisfy certain conditions and are therefore known to be “well-behaved”—such that fibring is possible. The identification and formulation of conditions that are neither too weak nor too strong is a main contribution of this paper. As an example, we fibre tableau calculi for first order predicate logic and for the modal logic K." @default.
- W1509781306 created "2016-06-24" @default.
- W1509781306 creator A5003024686 @default.
- W1509781306 creator A5060284292 @default.
- W1509781306 date "1998-01-01" @default.
- W1509781306 modified "2023-09-23" @default.
- W1509781306 title "Fibring Semantic Tableaux" @default.
- W1509781306 cites W1509781306 @default.
- W1509781306 cites W2022355674 @default.
- W1509781306 doi "https://doi.org/10.1007/3-540-69778-0_15" @default.
- W1509781306 hasPublicationYear "1998" @default.
- W1509781306 type Work @default.
- W1509781306 sameAs 1509781306 @default.
- W1509781306 citedByCount "16" @default.
- W1509781306 countsByYear W15097813062012 @default.
- W1509781306 countsByYear W15097813062015 @default.
- W1509781306 countsByYear W15097813062016 @default.
- W1509781306 countsByYear W15097813062023 @default.
- W1509781306 crossrefType "book-chapter" @default.
- W1509781306 hasAuthorship W1509781306A5003024686 @default.
- W1509781306 hasAuthorship W1509781306A5060284292 @default.
- W1509781306 hasConcept C100481476 @default.
- W1509781306 hasConcept C102993220 @default.
- W1509781306 hasConcept C11413529 @default.
- W1509781306 hasConcept C136119220 @default.
- W1509781306 hasConcept C140146324 @default.
- W1509781306 hasConcept C184337299 @default.
- W1509781306 hasConcept C185592680 @default.
- W1509781306 hasConcept C188027245 @default.
- W1509781306 hasConcept C19689857 @default.
- W1509781306 hasConcept C199343813 @default.
- W1509781306 hasConcept C199360897 @default.
- W1509781306 hasConcept C202444582 @default.
- W1509781306 hasConcept C27508121 @default.
- W1509781306 hasConcept C2777686260 @default.
- W1509781306 hasConcept C2780801425 @default.
- W1509781306 hasConcept C33923547 @default.
- W1509781306 hasConcept C41008148 @default.
- W1509781306 hasConcept C71139939 @default.
- W1509781306 hasConcept C71924100 @default.
- W1509781306 hasConcept C80444323 @default.
- W1509781306 hasConceptScore W1509781306C100481476 @default.
- W1509781306 hasConceptScore W1509781306C102993220 @default.
- W1509781306 hasConceptScore W1509781306C11413529 @default.
- W1509781306 hasConceptScore W1509781306C136119220 @default.
- W1509781306 hasConceptScore W1509781306C140146324 @default.
- W1509781306 hasConceptScore W1509781306C184337299 @default.
- W1509781306 hasConceptScore W1509781306C185592680 @default.
- W1509781306 hasConceptScore W1509781306C188027245 @default.
- W1509781306 hasConceptScore W1509781306C19689857 @default.
- W1509781306 hasConceptScore W1509781306C199343813 @default.
- W1509781306 hasConceptScore W1509781306C199360897 @default.
- W1509781306 hasConceptScore W1509781306C202444582 @default.
- W1509781306 hasConceptScore W1509781306C27508121 @default.
- W1509781306 hasConceptScore W1509781306C2777686260 @default.
- W1509781306 hasConceptScore W1509781306C2780801425 @default.
- W1509781306 hasConceptScore W1509781306C33923547 @default.
- W1509781306 hasConceptScore W1509781306C41008148 @default.
- W1509781306 hasConceptScore W1509781306C71139939 @default.
- W1509781306 hasConceptScore W1509781306C71924100 @default.
- W1509781306 hasConceptScore W1509781306C80444323 @default.
- W1509781306 hasLocation W15097813061 @default.
- W1509781306 hasOpenAccess W1509781306 @default.
- W1509781306 hasPrimaryLocation W15097813061 @default.
- W1509781306 hasRelatedWork W1563960380 @default.
- W1509781306 hasRelatedWork W158740256 @default.
- W1509781306 hasRelatedWork W2054289094 @default.
- W1509781306 hasRelatedWork W2093354639 @default.
- W1509781306 hasRelatedWork W2167981859 @default.
- W1509781306 hasRelatedWork W2226235891 @default.
- W1509781306 hasRelatedWork W2903870848 @default.
- W1509781306 hasRelatedWork W3043136126 @default.
- W1509781306 hasRelatedWork W3208943715 @default.
- W1509781306 hasRelatedWork W88617650 @default.
- W1509781306 isParatext "false" @default.
- W1509781306 isRetracted "false" @default.
- W1509781306 magId "1509781306" @default.
- W1509781306 workType "book-chapter" @default.