Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293011684> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2293011684 endingPage "26" @default.
- W2293011684 startingPage "14" @default.
- W2293011684 abstract "Game theoretical semantics suggests a very intuitive approach to formal semantics. The semantic verification game for classical logic is played by two players, verifier and falsifier who we call Heloise and Abelard respectively. The goal of Heloise in the game is to verify the truth of a given formula in a given model whereas for Abelard it is to falsify it. The rules are specified syntactically based on the form of the formula. During the game, the given formula is broken into subformulas step by step by the players. The game terminates when it reaches the propositional literals and when there is no move to make." @default.
- W2293011684 created "2016-06-24" @default.
- W2293011684 creator A5040722553 @default.
- W2293011684 date "2015-01-01" @default.
- W2293011684 modified "2023-09-27" @default.
- W2293011684 title "Game Theoretical Semantics for Paraconsistent Logics" @default.
- W2293011684 cites W136624902 @default.
- W2293011684 cites W1530441920 @default.
- W2293011684 cites W1548835575 @default.
- W2293011684 cites W1551030425 @default.
- W2293011684 cites W1620337950 @default.
- W2293011684 cites W1971228698 @default.
- W2293011684 cites W1978633416 @default.
- W2293011684 cites W1996579835 @default.
- W2293011684 cites W2023605209 @default.
- W2293011684 cites W2066458790 @default.
- W2293011684 cites W2069971993 @default.
- W2293011684 cites W2086965543 @default.
- W2293011684 cites W2095820479 @default.
- W2293011684 cites W2126833102 @default.
- W2293011684 cites W2142616542 @default.
- W2293011684 cites W2605842929 @default.
- W2293011684 cites W3022537480 @default.
- W2293011684 cites W4211033084 @default.
- W2293011684 cites W4236788063 @default.
- W2293011684 cites W4247915068 @default.
- W2293011684 cites W54098403 @default.
- W2293011684 cites W610780676 @default.
- W2293011684 doi "https://doi.org/10.1007/978-3-662-48561-3_2" @default.
- W2293011684 hasPublicationYear "2015" @default.
- W2293011684 type Work @default.
- W2293011684 sameAs 2293011684 @default.
- W2293011684 citedByCount "2" @default.
- W2293011684 countsByYear W22930116842016 @default.
- W2293011684 countsByYear W22930116842018 @default.
- W2293011684 crossrefType "book-chapter" @default.
- W2293011684 hasAuthorship W2293011684A5040722553 @default.
- W2293011684 hasConcept C102993220 @default.
- W2293011684 hasConcept C144237770 @default.
- W2293011684 hasConcept C156325763 @default.
- W2293011684 hasConcept C16796852 @default.
- W2293011684 hasConcept C169896238 @default.
- W2293011684 hasConcept C177142836 @default.
- W2293011684 hasConcept C184337299 @default.
- W2293011684 hasConcept C199360897 @default.
- W2293011684 hasConcept C207648694 @default.
- W2293011684 hasConcept C33923547 @default.
- W2293011684 hasConcept C41008148 @default.
- W2293011684 hasConcept C69562738 @default.
- W2293011684 hasConcept C80444323 @default.
- W2293011684 hasConcept C9672783 @default.
- W2293011684 hasConceptScore W2293011684C102993220 @default.
- W2293011684 hasConceptScore W2293011684C144237770 @default.
- W2293011684 hasConceptScore W2293011684C156325763 @default.
- W2293011684 hasConceptScore W2293011684C16796852 @default.
- W2293011684 hasConceptScore W2293011684C169896238 @default.
- W2293011684 hasConceptScore W2293011684C177142836 @default.
- W2293011684 hasConceptScore W2293011684C184337299 @default.
- W2293011684 hasConceptScore W2293011684C199360897 @default.
- W2293011684 hasConceptScore W2293011684C207648694 @default.
- W2293011684 hasConceptScore W2293011684C33923547 @default.
- W2293011684 hasConceptScore W2293011684C41008148 @default.
- W2293011684 hasConceptScore W2293011684C69562738 @default.
- W2293011684 hasConceptScore W2293011684C80444323 @default.
- W2293011684 hasConceptScore W2293011684C9672783 @default.
- W2293011684 hasLocation W22930116841 @default.
- W2293011684 hasOpenAccess W2293011684 @default.
- W2293011684 hasPrimaryLocation W22930116841 @default.
- W2293011684 hasRelatedWork W1500335153 @default.
- W2293011684 hasRelatedWork W1526789715 @default.
- W2293011684 hasRelatedWork W155014619 @default.
- W2293011684 hasRelatedWork W1584911658 @default.
- W2293011684 hasRelatedWork W2166890385 @default.
- W2293011684 hasRelatedWork W2293011684 @default.
- W2293011684 hasRelatedWork W2294089556 @default.
- W2293011684 hasRelatedWork W2380389143 @default.
- W2293011684 hasRelatedWork W2798278864 @default.
- W2293011684 hasRelatedWork W2952136710 @default.
- W2293011684 isParatext "false" @default.
- W2293011684 isRetracted "false" @default.
- W2293011684 magId "2293011684" @default.
- W2293011684 workType "book-chapter" @default.