Matches in SemOpenAlex for { <https://semopenalex.org/work/W2774031738> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2774031738 abstract "The computable model theory of modal logic was initiated by Suman Ganguli and Anil Nerode in [4]. They use an effective Henkin-type construction to effectivize various completeness theorems from classical modal logic. This construction has the feature of only producing models whose frames can be obtained by adding edges to a tree digraph. Consequently, this construction cannot prove an effective version of a well-known completeness theorem which states that every $mathsf{S4.3.1}$-theory has a model whose accessibility relation is a linear order of order type $omega$. We prove an effectivization of that theorem by means of a new construction adapted from that of Ganguli and Nerode." @default.
- W2774031738 created "2017-12-22" @default.
- W2774031738 creator A5022754942 @default.
- W2774031738 date "2017-12-01" @default.
- W2774031738 modified "2023-09-27" @default.
- W2774031738 title "Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models" @default.
- W2774031738 cites W1991650963 @default.
- W2774031738 cites W2043855341 @default.
- W2774031738 cites W2075498008 @default.
- W2774031738 cites W2159753366 @default.
- W2774031738 cites W2162890392 @default.
- W2774031738 cites W2163751633 @default.
- W2774031738 cites W2319388297 @default.
- W2774031738 hasPublicationYear "2017" @default.
- W2774031738 type Work @default.
- W2774031738 sameAs 2774031738 @default.
- W2774031738 citedByCount "0" @default.
- W2774031738 crossrefType "posted-content" @default.
- W2774031738 hasAuthorship W2774031738A5022754942 @default.
- W2774031738 hasConcept C118615104 @default.
- W2774031738 hasConcept C134306372 @default.
- W2774031738 hasConcept C136119220 @default.
- W2774031738 hasConcept C17231256 @default.
- W2774031738 hasConcept C185592680 @default.
- W2774031738 hasConcept C188027245 @default.
- W2774031738 hasConcept C18903297 @default.
- W2774031738 hasConcept C200116569 @default.
- W2774031738 hasConcept C202444582 @default.
- W2774031738 hasConcept C2333172 @default.
- W2774031738 hasConcept C27508121 @default.
- W2774031738 hasConcept C2777299769 @default.
- W2774031738 hasConcept C33923547 @default.
- W2774031738 hasConcept C47030870 @default.
- W2774031738 hasConcept C71139939 @default.
- W2774031738 hasConcept C86803240 @default.
- W2774031738 hasConceptScore W2774031738C118615104 @default.
- W2774031738 hasConceptScore W2774031738C134306372 @default.
- W2774031738 hasConceptScore W2774031738C136119220 @default.
- W2774031738 hasConceptScore W2774031738C17231256 @default.
- W2774031738 hasConceptScore W2774031738C185592680 @default.
- W2774031738 hasConceptScore W2774031738C188027245 @default.
- W2774031738 hasConceptScore W2774031738C18903297 @default.
- W2774031738 hasConceptScore W2774031738C200116569 @default.
- W2774031738 hasConceptScore W2774031738C202444582 @default.
- W2774031738 hasConceptScore W2774031738C2333172 @default.
- W2774031738 hasConceptScore W2774031738C27508121 @default.
- W2774031738 hasConceptScore W2774031738C2777299769 @default.
- W2774031738 hasConceptScore W2774031738C33923547 @default.
- W2774031738 hasConceptScore W2774031738C47030870 @default.
- W2774031738 hasConceptScore W2774031738C71139939 @default.
- W2774031738 hasConceptScore W2774031738C86803240 @default.
- W2774031738 hasLocation W27740317381 @default.
- W2774031738 hasOpenAccess W2774031738 @default.
- W2774031738 hasPrimaryLocation W27740317381 @default.
- W2774031738 hasRelatedWork W1480092413 @default.
- W2774031738 hasRelatedWork W1485635270 @default.
- W2774031738 hasRelatedWork W162053361 @default.
- W2774031738 hasRelatedWork W191613481 @default.
- W2774031738 hasRelatedWork W1987686945 @default.
- W2774031738 hasRelatedWork W2026448710 @default.
- W2774031738 hasRelatedWork W2061136919 @default.
- W2774031738 hasRelatedWork W2065234465 @default.
- W2774031738 hasRelatedWork W2127246914 @default.
- W2774031738 hasRelatedWork W2146785455 @default.
- W2774031738 hasRelatedWork W2152256008 @default.
- W2774031738 hasRelatedWork W2156452084 @default.
- W2774031738 hasRelatedWork W2181607603 @default.
- W2774031738 hasRelatedWork W2408426960 @default.
- W2774031738 hasRelatedWork W2611361880 @default.
- W2774031738 hasRelatedWork W2766762831 @default.
- W2774031738 hasRelatedWork W2783587217 @default.
- W2774031738 hasRelatedWork W3105868061 @default.
- W2774031738 hasRelatedWork W3105905549 @default.
- W2774031738 hasRelatedWork W2429136598 @default.
- W2774031738 isParatext "false" @default.
- W2774031738 isRetracted "false" @default.
- W2774031738 magId "2774031738" @default.
- W2774031738 workType "article" @default.