FRINK Linked Data Fragments server

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

• W2016570675 endingPage "134" @default.
• W2016570675 startingPage "117" @default.
• W2016570675 abstract "We present a clausal resolution-based method for normal modal logics. Differently from other approaches, where inference rules are based on the syntax of a particular set of axioms, we focus on the restrictions imposed on the binary accessibility relation for each particular normal logic. We provide soundness and completeness results for all fifteen families of multi-modal normal logics whose accessibility relations have the property of being non-restricted, reflexive, serial, transitive, Euclidean, or symmetric." @default.
• W2016570675 created "2016-06-24" @default.
• W2016570675 creator A5013515770 @default.
• W2016570675 creator A5070055601 @default.
• W2016570675 date "2007-07-01" @default.
• W2016570675 modified "2023-10-02" @default.
• W2016570675 title "Clausal resolution for normal modal logics" @default.
• W2016570675 cites W1963666633 @default.
• W2016570675 cites W1969550103 @default.
• W2016570675 cites W2017094488 @default.
• W2016570675 cites W2059647742 @default.
• W2016570675 cites W2131225255 @default.
• W2016570675 cites W2146427628 @default.
• W2016570675 doi "https://doi.org/10.1016/j.jalgor.2007.04.001" @default.
• W2016570675 hasPublicationYear "2007" @default.
• W2016570675 type Work @default.
• W2016570675 sameAs 2016570675 @default.
• W2016570675 citedByCount "26" @default.
• W2016570675 countsByYear W20165706752013 @default.
• W2016570675 countsByYear W20165706752014 @default.
• W2016570675 countsByYear W20165706752015 @default.
• W2016570675 countsByYear W20165706752016 @default.
• W2016570675 countsByYear W20165706752018 @default.
• W2016570675 countsByYear W20165706752019 @default.
• W2016570675 countsByYear W20165706752020 @default.
• W2016570675 countsByYear W20165706752021 @default.
• W2016570675 countsByYear W20165706752022 @default.
• W2016570675 countsByYear W20165706752023 @default.
• W2016570675 crossrefType "journal-article" @default.
• W2016570675 hasAuthorship W2016570675A5013515770 @default.
• W2016570675 hasAuthorship W2016570675A5070055601 @default.
• W2016570675 hasConcept C11191006 @default.
• W2016570675 hasConcept C114092440 @default.
• W2016570675 hasConcept C114614502 @default.
• W2016570675 hasConcept C118615104 @default.
• W2016570675 hasConcept C134306372 @default.
• W2016570675 hasConcept C136119220 @default.
• W2016570675 hasConcept C154945302 @default.
• W2016570675 hasConcept C160131679 @default.
• W2016570675 hasConcept C167729594 @default.
• W2016570675 hasConcept C17231256 @default.
• W2016570675 hasConcept C185592680 @default.
• W2016570675 hasConcept C188027245 @default.
• W2016570675 hasConcept C191399111 @default.
• W2016570675 hasConcept C199343813 @default.
• W2016570675 hasConcept C199360897 @default.
• W2016570675 hasConcept C202444582 @default.
• W2016570675 hasConcept C2524010 @default.
• W2016570675 hasConcept C27508121 @default.
• W2016570675 hasConcept C2777686260 @default.
• W2016570675 hasConcept C33923547 @default.
• W2016570675 hasConcept C39920170 @default.
• W2016570675 hasConcept C41008148 @default.
• W2016570675 hasConcept C60048249 @default.
• W2016570675 hasConcept C65180967 @default.
• W2016570675 hasConcept C71139939 @default.
• W2016570675 hasConcept C71924100 @default.
• W2016570675 hasConceptScore W2016570675C11191006 @default.
• W2016570675 hasConceptScore W2016570675C114092440 @default.
• W2016570675 hasConceptScore W2016570675C114614502 @default.
• W2016570675 hasConceptScore W2016570675C118615104 @default.
• W2016570675 hasConceptScore W2016570675C134306372 @default.
• W2016570675 hasConceptScore W2016570675C136119220 @default.
• W2016570675 hasConceptScore W2016570675C154945302 @default.
• W2016570675 hasConceptScore W2016570675C160131679 @default.
• W2016570675 hasConceptScore W2016570675C167729594 @default.
• W2016570675 hasConceptScore W2016570675C17231256 @default.
• W2016570675 hasConceptScore W2016570675C185592680 @default.
• W2016570675 hasConceptScore W2016570675C188027245 @default.
• W2016570675 hasConceptScore W2016570675C191399111 @default.
• W2016570675 hasConceptScore W2016570675C199343813 @default.
• W2016570675 hasConceptScore W2016570675C199360897 @default.
• W2016570675 hasConceptScore W2016570675C202444582 @default.
• W2016570675 hasConceptScore W2016570675C2524010 @default.
• W2016570675 hasConceptScore W2016570675C27508121 @default.
• W2016570675 hasConceptScore W2016570675C2777686260 @default.
• W2016570675 hasConceptScore W2016570675C33923547 @default.
• W2016570675 hasConceptScore W2016570675C39920170 @default.
• W2016570675 hasConceptScore W2016570675C41008148 @default.
• W2016570675 hasConceptScore W2016570675C60048249 @default.
• W2016570675 hasConceptScore W2016570675C65180967 @default.
• W2016570675 hasConceptScore W2016570675C71139939 @default.
• W2016570675 hasConceptScore W2016570675C71924100 @default.
• W2016570675 hasIssue "3-4" @default.
• W2016570675 hasLocation W20165706751 @default.
• W2016570675 hasOpenAccess W2016570675 @default.
• W2016570675 hasPrimaryLocation W20165706751 @default.
• W2016570675 hasRelatedWork W1500877097 @default.
• W2016570675 hasRelatedWork W1654394411 @default.
• W2016570675 hasRelatedWork W168321974 @default.
• W2016570675 hasRelatedWork W2016570675 @default.
• W2016570675 hasRelatedWork W2069376434 @default.
• W2016570675 hasRelatedWork W2088372138 @default.
• W2016570675 hasRelatedWork W2978361984 @default.
• W2016570675 hasRelatedWork W4286694953 @default.
• W2016570675 hasRelatedWork W51028053 @default.
• W2016570675 hasRelatedWork W59705961 @default.
• W2016570675 hasVolume "62" @default.

• next