Matches in SemOpenAlex for { <https://semopenalex.org/work/W1639560892> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1639560892 endingPage "24" @default.
- W1639560892 startingPage "14" @default.
- W1639560892 abstract "We present a new prefixed tableau system TK for verification of validity in modal logic K. The system TK is deterministic, it uniquely generates exactly one proof tree for each clausal representation of formulas, and, moreover, it uses some syntactic reductions of prefixes. TK is defined in the original methodology of tableau systems, without any external technique such as backtracking, backjumping, etc. Since all the necessary bookkeeping is built into the rules, the system is not only a basis for a validity algorithm, but is itself a decision procedure. We present also a deterministic tableau decision procedure which is an extension of TK and can be used for the global assumptions problem." @default.
- W1639560892 created "2016-06-24" @default.
- W1639560892 creator A5043393230 @default.
- W1639560892 creator A5044022589 @default.
- W1639560892 creator A5072200687 @default.
- W1639560892 date "2016-09-01" @default.
- W1639560892 modified "2023-09-30" @default.
- W1639560892 title "Tableau reductions: Towards an optimal decision procedure for the modal necessity" @default.
- W1639560892 cites W1483339275 @default.
- W1639560892 cites W1489270299 @default.
- W1639560892 cites W1574863021 @default.
- W1639560892 cites W1950219843 @default.
- W1639560892 cites W1975894746 @default.
- W1639560892 cites W1987035270 @default.
- W1639560892 cites W1987339920 @default.
- W1639560892 cites W1991305430 @default.
- W1639560892 cites W1991582431 @default.
- W1639560892 cites W2050118028 @default.
- W1639560892 cites W2083379266 @default.
- W1639560892 cites W2184466699 @default.
- W1639560892 cites W81576834 @default.
- W1639560892 doi "https://doi.org/10.1016/j.jal.2015.09.005" @default.
- W1639560892 hasPublicationYear "2016" @default.
- W1639560892 type Work @default.
- W1639560892 sameAs 1639560892 @default.
- W1639560892 citedByCount "1" @default.
- W1639560892 countsByYear W16395608922018 @default.
- W1639560892 crossrefType "journal-article" @default.
- W1639560892 hasAuthorship W1639560892A5043393230 @default.
- W1639560892 hasAuthorship W1639560892A5044022589 @default.
- W1639560892 hasAuthorship W1639560892A5072200687 @default.
- W1639560892 hasBestOaLocation W16395608921 @default.
- W1639560892 hasConcept C11413529 @default.
- W1639560892 hasConcept C12426560 @default.
- W1639560892 hasConcept C138885662 @default.
- W1639560892 hasConcept C141603448 @default.
- W1639560892 hasConcept C153269930 @default.
- W1639560892 hasConcept C156884757 @default.
- W1639560892 hasConcept C17744445 @default.
- W1639560892 hasConcept C185592680 @default.
- W1639560892 hasConcept C188027245 @default.
- W1639560892 hasConcept C199360897 @default.
- W1639560892 hasConcept C199539241 @default.
- W1639560892 hasConcept C2524010 @default.
- W1639560892 hasConcept C27508121 @default.
- W1639560892 hasConcept C2776359362 @default.
- W1639560892 hasConcept C2778029271 @default.
- W1639560892 hasConcept C33923547 @default.
- W1639560892 hasConcept C41008148 @default.
- W1639560892 hasConcept C41895202 @default.
- W1639560892 hasConcept C71139939 @default.
- W1639560892 hasConcept C80444323 @default.
- W1639560892 hasConcept C94625758 @default.
- W1639560892 hasConceptScore W1639560892C11413529 @default.
- W1639560892 hasConceptScore W1639560892C12426560 @default.
- W1639560892 hasConceptScore W1639560892C138885662 @default.
- W1639560892 hasConceptScore W1639560892C141603448 @default.
- W1639560892 hasConceptScore W1639560892C153269930 @default.
- W1639560892 hasConceptScore W1639560892C156884757 @default.
- W1639560892 hasConceptScore W1639560892C17744445 @default.
- W1639560892 hasConceptScore W1639560892C185592680 @default.
- W1639560892 hasConceptScore W1639560892C188027245 @default.
- W1639560892 hasConceptScore W1639560892C199360897 @default.
- W1639560892 hasConceptScore W1639560892C199539241 @default.
- W1639560892 hasConceptScore W1639560892C2524010 @default.
- W1639560892 hasConceptScore W1639560892C27508121 @default.
- W1639560892 hasConceptScore W1639560892C2776359362 @default.
- W1639560892 hasConceptScore W1639560892C2778029271 @default.
- W1639560892 hasConceptScore W1639560892C33923547 @default.
- W1639560892 hasConceptScore W1639560892C41008148 @default.
- W1639560892 hasConceptScore W1639560892C41895202 @default.
- W1639560892 hasConceptScore W1639560892C71139939 @default.
- W1639560892 hasConceptScore W1639560892C80444323 @default.
- W1639560892 hasConceptScore W1639560892C94625758 @default.
- W1639560892 hasFunder F4320322511 @default.
- W1639560892 hasFunder F4320322930 @default.
- W1639560892 hasLocation W16395608921 @default.
- W1639560892 hasOpenAccess W1639560892 @default.
- W1639560892 hasPrimaryLocation W16395608921 @default.
- W1639560892 hasRelatedWork W1975181532 @default.
- W1639560892 hasRelatedWork W1980172029 @default.
- W1639560892 hasRelatedWork W1999165408 @default.
- W1639560892 hasRelatedWork W2005146745 @default.
- W1639560892 hasRelatedWork W2110715144 @default.
- W1639560892 hasRelatedWork W2121590963 @default.
- W1639560892 hasRelatedWork W2405321979 @default.
- W1639560892 hasRelatedWork W2912055616 @default.
- W1639560892 hasRelatedWork W4320503070 @default.
- W1639560892 hasRelatedWork W45950492 @default.
- W1639560892 hasVolume "17" @default.
- W1639560892 isParatext "false" @default.
- W1639560892 isRetracted "false" @default.
- W1639560892 magId "1639560892" @default.
- W1639560892 workType "article" @default.