FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110715144> ?p ?o ?g. }

• W2110715144 endingPage "45" @default.
• W2110715144 startingPage "30" @default.
• W2110715144 abstract "Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision procedures by adding instantiation rules to standard SAT and SMT solvers. Soundness, completeness, and termination of the procedures can be proved in a uniform and elementary way for the basic modal logic and some extensions." @default.
• W2110715144 created "2016-06-24" @default.
• W2110715144 creator A5022706489 @default.
• W2110715144 creator A5060799584 @default.
• W2110715144 creator A5067310583 @default.
• W2110715144 date "2015-01-01" @default.
• W2110715144 modified "2023-10-09" @default.
• W2110715144 title "Modal Satisfiability via SMT Solving" @default.
• W2110715144 cites W114225339 @default.
• W2110715144 cites W1503647529 @default.
• W2110715144 cites W1549008998 @default.
• W2110715144 cites W1689987508 @default.
• W2110715144 cites W1979514837 @default.
• W2110715144 cites W1991981864 @default.
• W2110715144 cites W2021025450 @default.
• W2110715144 cites W2022846948 @default.
• W2110715144 cites W2064811181 @default.
• W2110715144 cites W2067803913 @default.
• W2110715144 cites W2113066314 @default.
• W2110715144 cites W2124580444 @default.
• W2110715144 cites W2126160338 @default.
• W2110715144 cites W2146427628 @default.
• W2110715144 cites W2162361330 @default.
• W2110715144 cites W2164389533 @default.
• W2110715144 cites W3122242939 @default.
• W2110715144 cites W4211144022 @default.
• W2110715144 cites W4245896324 @default.
• W2110715144 doi "https://doi.org/10.1007/978-3-319-15545-6_5" @default.
• W2110715144 hasPublicationYear "2015" @default.
• W2110715144 type Work @default.
• W2110715144 sameAs 2110715144 @default.
• W2110715144 citedByCount "3" @default.
• W2110715144 countsByYear W21107151442015 @default.
• W2110715144 countsByYear W21107151442018 @default.
• W2110715144 countsByYear W21107151442023 @default.
• W2110715144 crossrefType "book-chapter" @default.
• W2110715144 hasAuthorship W2110715144A5022706489 @default.
• W2110715144 hasAuthorship W2110715144A5060799584 @default.
• W2110715144 hasAuthorship W2110715144A5067310583 @default.
• W2110715144 hasBestOaLocation W21107151442 @default.
• W2110715144 hasConcept C102993220 @default.
• W2110715144 hasConcept C11191006 @default.
• W2110715144 hasConcept C114092440 @default.
• W2110715144 hasConcept C11413529 @default.
• W2110715144 hasConcept C119599485 @default.
• W2110715144 hasConcept C127413603 @default.
• W2110715144 hasConcept C134306372 @default.
• W2110715144 hasConcept C153269930 @default.
• W2110715144 hasConcept C165801399 @default.
• W2110715144 hasConcept C168773769 @default.
• W2110715144 hasConcept C17231256 @default.
• W2110715144 hasConcept C172385210 @default.
• W2110715144 hasConcept C173125200 @default.
• W2110715144 hasConcept C185592680 @default.
• W2110715144 hasConcept C188027245 @default.
• W2110715144 hasConcept C199343813 @default.
• W2110715144 hasConcept C199360897 @default.
• W2110715144 hasConcept C203659156 @default.
• W2110715144 hasConcept C27508121 @default.
• W2110715144 hasConcept C2777686260 @default.
• W2110715144 hasConcept C2777796570 @default.
• W2110715144 hasConcept C33923547 @default.
• W2110715144 hasConcept C39920170 @default.
• W2110715144 hasConcept C41008148 @default.
• W2110715144 hasConcept C6943359 @default.
• W2110715144 hasConcept C71139939 @default.
• W2110715144 hasConcept C71924100 @default.
• W2110715144 hasConcept C80444323 @default.
• W2110715144 hasConceptScore W2110715144C102993220 @default.
• W2110715144 hasConceptScore W2110715144C11191006 @default.
• W2110715144 hasConceptScore W2110715144C114092440 @default.
• W2110715144 hasConceptScore W2110715144C11413529 @default.
• W2110715144 hasConceptScore W2110715144C119599485 @default.
• W2110715144 hasConceptScore W2110715144C127413603 @default.
• W2110715144 hasConceptScore W2110715144C134306372 @default.
• W2110715144 hasConceptScore W2110715144C153269930 @default.
• W2110715144 hasConceptScore W2110715144C165801399 @default.
• W2110715144 hasConceptScore W2110715144C168773769 @default.
• W2110715144 hasConceptScore W2110715144C17231256 @default.
• W2110715144 hasConceptScore W2110715144C172385210 @default.
• W2110715144 hasConceptScore W2110715144C173125200 @default.
• W2110715144 hasConceptScore W2110715144C185592680 @default.
• W2110715144 hasConceptScore W2110715144C188027245 @default.
• W2110715144 hasConceptScore W2110715144C199343813 @default.
• W2110715144 hasConceptScore W2110715144C199360897 @default.
• W2110715144 hasConceptScore W2110715144C203659156 @default.
• W2110715144 hasConceptScore W2110715144C27508121 @default.
• W2110715144 hasConceptScore W2110715144C2777686260 @default.
• W2110715144 hasConceptScore W2110715144C2777796570 @default.
• W2110715144 hasConceptScore W2110715144C33923547 @default.
• W2110715144 hasConceptScore W2110715144C39920170 @default.
• W2110715144 hasConceptScore W2110715144C41008148 @default.
• W2110715144 hasConceptScore W2110715144C6943359 @default.
• W2110715144 hasConceptScore W2110715144C71139939 @default.
• W2110715144 hasConceptScore W2110715144C71924100 @default.
• W2110715144 hasConceptScore W2110715144C80444323 @default.
• W2110715144 hasLocation W21107151441 @default.
• W2110715144 hasLocation W21107151442 @default.

• next