Matches in SemOpenAlex for { <https://semopenalex.org/work/W934302139> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W934302139 abstract "In this chapter we introduce first-order hybrid logic and its proof-theory. The chapter is structured as follows. In the first section of the chapter we introduce first-order hybrid logic. In the second section we introduce a natural deduction system for first-order hybrid logic (taken from Brauner (2005b)) and in the third section we introduce an axiom system for first-order hybrid logic (also taken from Brauner (2005b))." @default.
- W934302139 created "2016-06-24" @default.
- W934302139 creator A5089498810 @default.
- W934302139 date "2010-10-25" @default.
- W934302139 modified "2023-09-26" @default.
- W934302139 title "First-Order Hybrid Logic" @default.
- W934302139 cites W133124514 @default.
- W934302139 cites W1552580535 @default.
- W934302139 cites W1582605818 @default.
- W934302139 cites W1968233326 @default.
- W934302139 cites W1987567030 @default.
- W934302139 cites W2005814072 @default.
- W934302139 cites W2033774694 @default.
- W934302139 cites W2049336733 @default.
- W934302139 cites W2054289094 @default.
- W934302139 cites W2088302563 @default.
- W934302139 cites W2173219234 @default.
- W934302139 cites W35338707 @default.
- W934302139 cites W4233570983 @default.
- W934302139 cites W4233906803 @default.
- W934302139 cites W4247797067 @default.
- W934302139 cites W4250310912 @default.
- W934302139 cites W93751600 @default.
- W934302139 doi "https://doi.org/10.1007/978-94-007-0002-4_6" @default.
- W934302139 hasPublicationYear "2010" @default.
- W934302139 type Work @default.
- W934302139 sameAs 934302139 @default.
- W934302139 citedByCount "1" @default.
- W934302139 crossrefType "book-chapter" @default.
- W934302139 hasAuthorship W934302139A5089498810 @default.
- W934302139 hasConcept C100481476 @default.
- W934302139 hasConcept C102993220 @default.
- W934302139 hasConcept C111919701 @default.
- W934302139 hasConcept C11413529 @default.
- W934302139 hasConcept C118615104 @default.
- W934302139 hasConcept C144791301 @default.
- W934302139 hasConcept C167729594 @default.
- W934302139 hasConcept C169896238 @default.
- W934302139 hasConcept C199343813 @default.
- W934302139 hasConcept C2524010 @default.
- W934302139 hasConcept C2777686260 @default.
- W934302139 hasConcept C2780129039 @default.
- W934302139 hasConcept C28826006 @default.
- W934302139 hasConcept C2987642246 @default.
- W934302139 hasConcept C33923547 @default.
- W934302139 hasConcept C41008148 @default.
- W934302139 hasConcept C71924100 @default.
- W934302139 hasConcept C80444323 @default.
- W934302139 hasConceptScore W934302139C100481476 @default.
- W934302139 hasConceptScore W934302139C102993220 @default.
- W934302139 hasConceptScore W934302139C111919701 @default.
- W934302139 hasConceptScore W934302139C11413529 @default.
- W934302139 hasConceptScore W934302139C118615104 @default.
- W934302139 hasConceptScore W934302139C144791301 @default.
- W934302139 hasConceptScore W934302139C167729594 @default.
- W934302139 hasConceptScore W934302139C169896238 @default.
- W934302139 hasConceptScore W934302139C199343813 @default.
- W934302139 hasConceptScore W934302139C2524010 @default.
- W934302139 hasConceptScore W934302139C2777686260 @default.
- W934302139 hasConceptScore W934302139C2780129039 @default.
- W934302139 hasConceptScore W934302139C28826006 @default.
- W934302139 hasConceptScore W934302139C2987642246 @default.
- W934302139 hasConceptScore W934302139C33923547 @default.
- W934302139 hasConceptScore W934302139C41008148 @default.
- W934302139 hasConceptScore W934302139C71924100 @default.
- W934302139 hasConceptScore W934302139C80444323 @default.
- W934302139 hasLocation W9343021391 @default.
- W934302139 hasOpenAccess W934302139 @default.
- W934302139 hasPrimaryLocation W9343021391 @default.
- W934302139 hasRelatedWork W1508937791 @default.
- W934302139 hasRelatedWork W1518114393 @default.
- W934302139 hasRelatedWork W1528237133 @default.
- W934302139 hasRelatedWork W1557197361 @default.
- W934302139 hasRelatedWork W1596600967 @default.
- W934302139 hasRelatedWork W1881914301 @default.
- W934302139 hasRelatedWork W1883136482 @default.
- W934302139 hasRelatedWork W196093472 @default.
- W934302139 hasRelatedWork W2073398076 @default.
- W934302139 hasRelatedWork W2240263387 @default.
- W934302139 hasRelatedWork W2272012919 @default.
- W934302139 hasRelatedWork W2351762061 @default.
- W934302139 hasRelatedWork W2375409835 @default.
- W934302139 hasRelatedWork W2476396007 @default.
- W934302139 hasRelatedWork W290319452 @default.
- W934302139 hasRelatedWork W2915962264 @default.
- W934302139 hasRelatedWork W2944461556 @default.
- W934302139 hasRelatedWork W2986148901 @default.
- W934302139 hasRelatedWork W3042532810 @default.
- W934302139 hasRelatedWork W304170802 @default.
- W934302139 isParatext "false" @default.
- W934302139 isRetracted "false" @default.
- W934302139 magId "934302139" @default.
- W934302139 workType "book-chapter" @default.