Matches in SemOpenAlex for { <https://semopenalex.org/work/W145032386> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W145032386 endingPage "57" @default.
- W145032386 startingPage "21" @default.
- W145032386 abstract "In this chapter we introduce the proof-theory of propositional hybrid logic. The chapter is structured as follows. In the first section of the chapter we sketch the basics of natural deduction systems and in the second section we introduce a natural deduction system for hybrid logic. In the third section we sketch the basics of Gentzen systems and in the fourth section we introduce a Gentzen system corresponding to the natural deduction system for hybrid logic. In the fifth section we give an axiom system for hybrid logic. The natural deduction system and the Gentzen system are taken from Brauner (2004a) whereas the axiom system is taken from Brauner (2006)." @default.
- W145032386 created "2016-06-24" @default.
- W145032386 creator A5089498810 @default.
- W145032386 date "2010-10-25" @default.
- W145032386 modified "2023-09-24" @default.
- W145032386 title "Proof-Theory of Propositional Hybrid Logic" @default.
- W145032386 cites W1489122755 @default.
- W145032386 cites W1509655311 @default.
- W145032386 cites W1524285284 @default.
- W145032386 cites W1555187222 @default.
- W145032386 cites W1557413548 @default.
- W145032386 cites W1570374618 @default.
- W145032386 cites W1689987508 @default.
- W145032386 cites W1968891474 @default.
- W145032386 cites W1983240156 @default.
- W145032386 cites W2008363667 @default.
- W145032386 cites W2013618737 @default.
- W145032386 cites W2068458083 @default.
- W145032386 cites W2072883183 @default.
- W145032386 cites W2090006746 @default.
- W145032386 cites W2092576830 @default.
- W145032386 cites W2116784584 @default.
- W145032386 cites W4210927669 @default.
- W145032386 cites W4247609109 @default.
- W145032386 doi "https://doi.org/10.1007/978-94-007-0002-4_2" @default.
- W145032386 hasPublicationYear "2010" @default.
- W145032386 type Work @default.
- W145032386 sameAs 145032386 @default.
- W145032386 citedByCount "0" @default.
- W145032386 crossrefType "book-chapter" @default.
- W145032386 hasAuthorship W145032386A5089498810 @default.
- W145032386 hasConcept C102993220 @default.
- W145032386 hasConcept C110039528 @default.
- W145032386 hasConcept C14523651 @default.
- W145032386 hasConcept C191222856 @default.
- W145032386 hasConcept C199343813 @default.
- W145032386 hasConcept C199360897 @default.
- W145032386 hasConcept C203659156 @default.
- W145032386 hasConcept C2777686260 @default.
- W145032386 hasConcept C33203268 @default.
- W145032386 hasConcept C3845977 @default.
- W145032386 hasConcept C41008148 @default.
- W145032386 hasConcept C69562738 @default.
- W145032386 hasConcept C71924100 @default.
- W145032386 hasConceptScore W145032386C102993220 @default.
- W145032386 hasConceptScore W145032386C110039528 @default.
- W145032386 hasConceptScore W145032386C14523651 @default.
- W145032386 hasConceptScore W145032386C191222856 @default.
- W145032386 hasConceptScore W145032386C199343813 @default.
- W145032386 hasConceptScore W145032386C199360897 @default.
- W145032386 hasConceptScore W145032386C203659156 @default.
- W145032386 hasConceptScore W145032386C2777686260 @default.
- W145032386 hasConceptScore W145032386C33203268 @default.
- W145032386 hasConceptScore W145032386C3845977 @default.
- W145032386 hasConceptScore W145032386C41008148 @default.
- W145032386 hasConceptScore W145032386C69562738 @default.
- W145032386 hasConceptScore W145032386C71924100 @default.
- W145032386 hasLocation W1450323861 @default.
- W145032386 hasOpenAccess W145032386 @default.
- W145032386 hasPrimaryLocation W1450323861 @default.
- W145032386 hasRelatedWork W1563887142 @default.
- W145032386 hasRelatedWork W1987118140 @default.
- W145032386 hasRelatedWork W2015640848 @default.
- W145032386 hasRelatedWork W2025571074 @default.
- W145032386 hasRelatedWork W2333225732 @default.
- W145032386 hasRelatedWork W2504340839 @default.
- W145032386 hasRelatedWork W4229552940 @default.
- W145032386 hasRelatedWork W4251854500 @default.
- W145032386 hasRelatedWork W1581635148 @default.
- W145032386 hasRelatedWork W2187885897 @default.
- W145032386 isParatext "false" @default.
- W145032386 isRetracted "false" @default.
- W145032386 magId "145032386" @default.
- W145032386 workType "book-chapter" @default.