Matches in SemOpenAlex for { <https://semopenalex.org/work/W1627588815> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1627588815 abstract "We present a simple theory explaining the construction and the correctness of an incremental and worst-case optimal decision procedure for modal logic with eventualities. The procedure gives an abstract account of important aspects of Gore and Widmann's PDL prover. Starting from an input formula, the procedure grows a Pratt-style graph tableau until the tableau proves or disproves the satisfiability of the formula. The procedure provides a basis for practical provers since satisfiability and unsatisfiability of formulas can often be determined with small tableaux." @default.
- W1627588815 created "2016-06-24" @default.
- W1627588815 creator A5073707150 @default.
- W1627588815 creator A5080366682 @default.
- W1627588815 date "2012-09-06" @default.
- W1627588815 modified "2023-09-27" @default.
- W1627588815 title "Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities" @default.
- W1627588815 cites W1484100443 @default.
- W1627588815 cites W1512766599 @default.
- W1627588815 cites W1519854400 @default.
- W1627588815 cites W1549273226 @default.
- W1627588815 cites W1574129634 @default.
- W1627588815 cites W1583295953 @default.
- W1627588815 cites W1971616901 @default.
- W1627588815 cites W1997716585 @default.
- W1627588815 cites W2066949643 @default.
- W1627588815 cites W2069709605 @default.
- W1627588815 cites W2087882226 @default.
- W1627588815 cites W2145369884 @default.
- W1627588815 cites W2336123333 @default.
- W1627588815 cites W2528221967 @default.
- W1627588815 cites W2610670723 @default.
- W1627588815 cites W62166284 @default.
- W1627588815 hasPublicationYear "2012" @default.
- W1627588815 type Work @default.
- W1627588815 sameAs 1627588815 @default.
- W1627588815 citedByCount "0" @default.
- W1627588815 crossrefType "posted-content" @default.
- W1627588815 hasAuthorship W1627588815A5073707150 @default.
- W1627588815 hasAuthorship W1627588815A5080366682 @default.
- W1627588815 hasConcept C108710211 @default.
- W1627588815 hasConcept C111472728 @default.
- W1627588815 hasConcept C11413529 @default.
- W1627588815 hasConcept C138885662 @default.
- W1627588815 hasConcept C159718280 @default.
- W1627588815 hasConcept C168773769 @default.
- W1627588815 hasConcept C185592680 @default.
- W1627588815 hasConcept C188027245 @default.
- W1627588815 hasConcept C199343813 @default.
- W1627588815 hasConcept C2524010 @default.
- W1627588815 hasConcept C27508121 @default.
- W1627588815 hasConcept C2777686260 @default.
- W1627588815 hasConcept C2780586882 @default.
- W1627588815 hasConcept C33923547 @default.
- W1627588815 hasConcept C41008148 @default.
- W1627588815 hasConcept C55439883 @default.
- W1627588815 hasConcept C71139939 @default.
- W1627588815 hasConcept C71924100 @default.
- W1627588815 hasConceptScore W1627588815C108710211 @default.
- W1627588815 hasConceptScore W1627588815C111472728 @default.
- W1627588815 hasConceptScore W1627588815C11413529 @default.
- W1627588815 hasConceptScore W1627588815C138885662 @default.
- W1627588815 hasConceptScore W1627588815C159718280 @default.
- W1627588815 hasConceptScore W1627588815C168773769 @default.
- W1627588815 hasConceptScore W1627588815C185592680 @default.
- W1627588815 hasConceptScore W1627588815C188027245 @default.
- W1627588815 hasConceptScore W1627588815C199343813 @default.
- W1627588815 hasConceptScore W1627588815C2524010 @default.
- W1627588815 hasConceptScore W1627588815C27508121 @default.
- W1627588815 hasConceptScore W1627588815C2777686260 @default.
- W1627588815 hasConceptScore W1627588815C2780586882 @default.
- W1627588815 hasConceptScore W1627588815C33923547 @default.
- W1627588815 hasConceptScore W1627588815C41008148 @default.
- W1627588815 hasConceptScore W1627588815C55439883 @default.
- W1627588815 hasConceptScore W1627588815C71139939 @default.
- W1627588815 hasConceptScore W1627588815C71924100 @default.
- W1627588815 hasLocation W16275888151 @default.
- W1627588815 hasOpenAccess W1627588815 @default.
- W1627588815 hasPrimaryLocation W16275888151 @default.
- W1627588815 hasRelatedWork W122118143 @default.
- W1627588815 hasRelatedWork W134846372 @default.
- W1627588815 hasRelatedWork W1549273226 @default.
- W1627588815 hasRelatedWork W1584406482 @default.
- W1627588815 hasRelatedWork W159279589 @default.
- W1627588815 hasRelatedWork W1832354128 @default.
- W1627588815 hasRelatedWork W1874812356 @default.
- W1627588815 hasRelatedWork W1970434055 @default.
- W1627588815 hasRelatedWork W2004436487 @default.
- W1627588815 hasRelatedWork W2015560379 @default.
- W1627588815 hasRelatedWork W2052519470 @default.
- W1627588815 hasRelatedWork W2084417024 @default.
- W1627588815 hasRelatedWork W2104832699 @default.
- W1627588815 hasRelatedWork W2116591673 @default.
- W1627588815 hasRelatedWork W2150903551 @default.
- W1627588815 hasRelatedWork W2166962989 @default.
- W1627588815 hasRelatedWork W2167017533 @default.
- W1627588815 hasRelatedWork W2270982454 @default.
- W1627588815 hasRelatedWork W2623745209 @default.
- W1627588815 hasRelatedWork W2978361984 @default.
- W1627588815 isParatext "false" @default.
- W1627588815 isRetracted "false" @default.
- W1627588815 magId "1627588815" @default.
- W1627588815 workType "article" @default.