Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102809343> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3102809343 endingPage "154" @default.
- W3102809343 startingPage "141" @default.
- W3102809343 abstract "We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our attention to finite structures. Many decidability and undecidability results for the elementary modal logics were proved separately for general satisfiability and for finite satisfiability [11, 12, 16, 17]. In this paper, we show that there is a reason why we must deal with both kinds of satisfiability separately -- we prove that there is a universal first-order formula that defines an elementary modal logic with decidable (global) satisfiability problem, but undecidable finite satisfiability problem, and, the other way round, that there is a universal formula that defines an elementary modal logic with decidable finite satisfiability problem, but undecidable general satisfiability problem." @default.
- W3102809343 created "2020-11-23" @default.
- W3102809343 creator A5015610041 @default.
- W3102809343 creator A5068506948 @default.
- W3102809343 creator A5089075636 @default.
- W3102809343 date "2012-10-07" @default.
- W3102809343 modified "2023-10-03" @default.
- W3102809343 title "Satisfiability vs. Finite Satisfiability in Elementary Modal Logics" @default.
- W3102809343 cites W1483892218 @default.
- W3102809343 cites W1498542449 @default.
- W3102809343 cites W1503647529 @default.
- W3102809343 cites W1523652916 @default.
- W3102809343 cites W1527720545 @default.
- W3102809343 cites W1549008998 @default.
- W3102809343 cites W1580817032 @default.
- W3102809343 cites W1608125757 @default.
- W3102809343 cites W1749183653 @default.
- W3102809343 cites W1986667059 @default.
- W3102809343 cites W2008070102 @default.
- W3102809343 cites W2017112542 @default.
- W3102809343 cites W2018462672 @default.
- W3102809343 cites W2086470346 @default.
- W3102809343 cites W2104419987 @default.
- W3102809343 cites W2151784388 @default.
- W3102809343 cites W4211144022 @default.
- W3102809343 cites W9225573 @default.
- W3102809343 doi "https://doi.org/10.4204/eptcs.96.11" @default.
- W3102809343 hasPublicationYear "2012" @default.
- W3102809343 type Work @default.
- W3102809343 sameAs 3102809343 @default.
- W3102809343 citedByCount "3" @default.
- W3102809343 countsByYear W31028093432013 @default.
- W3102809343 countsByYear W31028093432017 @default.
- W3102809343 countsByYear W31028093432018 @default.
- W3102809343 crossrefType "journal-article" @default.
- W3102809343 hasAuthorship W3102809343A5015610041 @default.
- W3102809343 hasAuthorship W3102809343A5068506948 @default.
- W3102809343 hasAuthorship W3102809343A5089075636 @default.
- W3102809343 hasBestOaLocation W31028093431 @default.
- W3102809343 hasConcept C11191006 @default.
- W3102809343 hasConcept C114092440 @default.
- W3102809343 hasConcept C118615104 @default.
- W3102809343 hasConcept C136119220 @default.
- W3102809343 hasConcept C153269930 @default.
- W3102809343 hasConcept C168773769 @default.
- W3102809343 hasConcept C173125200 @default.
- W3102809343 hasConcept C185592680 @default.
- W3102809343 hasConcept C188027245 @default.
- W3102809343 hasConcept C192034797 @default.
- W3102809343 hasConcept C202444582 @default.
- W3102809343 hasConcept C27508121 @default.
- W3102809343 hasConcept C33923547 @default.
- W3102809343 hasConcept C6943359 @default.
- W3102809343 hasConcept C71139939 @default.
- W3102809343 hasConceptScore W3102809343C11191006 @default.
- W3102809343 hasConceptScore W3102809343C114092440 @default.
- W3102809343 hasConceptScore W3102809343C118615104 @default.
- W3102809343 hasConceptScore W3102809343C136119220 @default.
- W3102809343 hasConceptScore W3102809343C153269930 @default.
- W3102809343 hasConceptScore W3102809343C168773769 @default.
- W3102809343 hasConceptScore W3102809343C173125200 @default.
- W3102809343 hasConceptScore W3102809343C185592680 @default.
- W3102809343 hasConceptScore W3102809343C188027245 @default.
- W3102809343 hasConceptScore W3102809343C192034797 @default.
- W3102809343 hasConceptScore W3102809343C202444582 @default.
- W3102809343 hasConceptScore W3102809343C27508121 @default.
- W3102809343 hasConceptScore W3102809343C33923547 @default.
- W3102809343 hasConceptScore W3102809343C6943359 @default.
- W3102809343 hasConceptScore W3102809343C71139939 @default.
- W3102809343 hasLocation W31028093431 @default.
- W3102809343 hasLocation W31028093432 @default.
- W3102809343 hasLocation W31028093433 @default.
- W3102809343 hasOpenAccess W3102809343 @default.
- W3102809343 hasPrimaryLocation W31028093431 @default.
- W3102809343 hasRelatedWork W1498755214 @default.
- W3102809343 hasRelatedWork W1608125757 @default.
- W3102809343 hasRelatedWork W2040640762 @default.
- W3102809343 hasRelatedWork W2137935204 @default.
- W3102809343 hasRelatedWork W2181621864 @default.
- W3102809343 hasRelatedWork W2275097665 @default.
- W3102809343 hasRelatedWork W2782243532 @default.
- W3102809343 hasRelatedWork W2886443044 @default.
- W3102809343 hasRelatedWork W3102809343 @default.
- W3102809343 hasRelatedWork W4320503070 @default.
- W3102809343 hasVolume "96" @default.
- W3102809343 isParatext "false" @default.
- W3102809343 isRetracted "false" @default.
- W3102809343 magId "3102809343" @default.
- W3102809343 workType "article" @default.