Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161218164> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2161218164 endingPage "239" @default.
- W2161218164 startingPage "225" @default.
- W2161218164 abstract "We give an optimal (exptime), sound and complete tableau-based algorithm for deciding satisfiability for propositional dynamic logic with converse (CPDL) which does not require the use of analytic cut. Our main contribution is a sound method to combine our previous optimal method for tracking least fix-points in PDL with our previous optimal method for handling converse in the description logic ALCI. The extension is non-trivial as the two methods cannot be combined naively. We give sufficient details to enable an implementation by others. Our OCaml implementation seems to be the first theorem prover for CPDL." @default.
- W2161218164 created "2016-06-24" @default.
- W2161218164 creator A5071279186 @default.
- W2161218164 creator A5088219777 @default.
- W2161218164 date "2010-01-01" @default.
- W2161218164 modified "2023-09-23" @default.
- W2161218164 title "Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse" @default.
- W2161218164 cites W1754269820 @default.
- W2161218164 cites W1866857744 @default.
- W2161218164 cites W2033071128 @default.
- W2161218164 cites W2087882226 @default.
- W2161218164 cites W2145369884 @default.
- W2161218164 cites W2170319925 @default.
- W2161218164 doi "https://doi.org/10.1007/978-3-642-14203-1_20" @default.
- W2161218164 hasPublicationYear "2010" @default.
- W2161218164 type Work @default.
- W2161218164 sameAs 2161218164 @default.
- W2161218164 citedByCount "20" @default.
- W2161218164 countsByYear W21612181642012 @default.
- W2161218164 countsByYear W21612181642013 @default.
- W2161218164 countsByYear W21612181642014 @default.
- W2161218164 countsByYear W21612181642015 @default.
- W2161218164 countsByYear W21612181642016 @default.
- W2161218164 countsByYear W21612181642017 @default.
- W2161218164 countsByYear W21612181642019 @default.
- W2161218164 countsByYear W21612181642021 @default.
- W2161218164 crossrefType "book-chapter" @default.
- W2161218164 hasAuthorship W2161218164A5071279186 @default.
- W2161218164 hasAuthorship W2161218164A5088219777 @default.
- W2161218164 hasBestOaLocation W21612181642 @default.
- W2161218164 hasConcept C118615104 @default.
- W2161218164 hasConcept C199343813 @default.
- W2161218164 hasConcept C2524010 @default.
- W2161218164 hasConcept C2776809875 @default.
- W2161218164 hasConcept C2777686260 @default.
- W2161218164 hasConcept C33923547 @default.
- W2161218164 hasConcept C41008148 @default.
- W2161218164 hasConcept C69562738 @default.
- W2161218164 hasConcept C71924100 @default.
- W2161218164 hasConceptScore W2161218164C118615104 @default.
- W2161218164 hasConceptScore W2161218164C199343813 @default.
- W2161218164 hasConceptScore W2161218164C2524010 @default.
- W2161218164 hasConceptScore W2161218164C2776809875 @default.
- W2161218164 hasConceptScore W2161218164C2777686260 @default.
- W2161218164 hasConceptScore W2161218164C33923547 @default.
- W2161218164 hasConceptScore W2161218164C41008148 @default.
- W2161218164 hasConceptScore W2161218164C69562738 @default.
- W2161218164 hasConceptScore W2161218164C71924100 @default.
- W2161218164 hasLocation W21612181641 @default.
- W2161218164 hasLocation W21612181642 @default.
- W2161218164 hasLocation W21612181643 @default.
- W2161218164 hasLocation W21612181644 @default.
- W2161218164 hasOpenAccess W2161218164 @default.
- W2161218164 hasPrimaryLocation W21612181641 @default.
- W2161218164 hasRelatedWork W1965605411 @default.
- W2161218164 hasRelatedWork W1990620456 @default.
- W2161218164 hasRelatedWork W1997434166 @default.
- W2161218164 hasRelatedWork W2330050861 @default.
- W2161218164 hasRelatedWork W2332136239 @default.
- W2161218164 hasRelatedWork W2376429153 @default.
- W2161218164 hasRelatedWork W2753380948 @default.
- W2161218164 hasRelatedWork W3035687845 @default.
- W2161218164 hasRelatedWork W3100741634 @default.
- W2161218164 hasRelatedWork W4240217613 @default.
- W2161218164 isParatext "false" @default.
- W2161218164 isRetracted "false" @default.
- W2161218164 magId "2161218164" @default.
- W2161218164 workType "book-chapter" @default.