Matches in SemOpenAlex for { <https://semopenalex.org/work/W3201474414> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3201474414 endingPage "178" @default.
- W3201474414 startingPage "166" @default.
- W3201474414 abstract "Recently, Baltag and van Benthem introduced a decidable logic of functional dependence (LFD) that extends the logic of Cylindrical Relativized Set Algebras (CRS) with atomic local dependence statements. Its semantics can be given in terms of generalised assignment models or their modal counterparts, hence the logic is both a first-order and a modal logic. We show that LFD has the finite model property (FMP) using Herwig's theorem on extending partial isomorphisms, and prove a bisimulation invariance theorem characterizing LFD as a fragment of first-order logic." @default.
- W3201474414 created "2021-09-27" @default.
- W3201474414 creator A5069635903 @default.
- W3201474414 date "2021-09-16" @default.
- W3201474414 modified "2023-10-16" @default.
- W3201474414 title "Finite Model Property and Bisimulation for LFD" @default.
- W3201474414 cites W1483892218 @default.
- W3201474414 cites W1991981864 @default.
- W3201474414 cites W2011806448 @default.
- W3201474414 cites W2153956925 @default.
- W3201474414 cites W3028985942 @default.
- W3201474414 cites W3132707386 @default.
- W3201474414 doi "https://doi.org/10.4204/eptcs.346.11" @default.
- W3201474414 hasPublicationYear "2021" @default.
- W3201474414 type Work @default.
- W3201474414 sameAs 3201474414 @default.
- W3201474414 citedByCount "0" @default.
- W3201474414 crossrefType "journal-article" @default.
- W3201474414 hasAuthorship W3201474414A5069635903 @default.
- W3201474414 hasBestOaLocation W32014744141 @default.
- W3201474414 hasConcept C111472728 @default.
- W3201474414 hasConcept C114092440 @default.
- W3201474414 hasConcept C11413529 @default.
- W3201474414 hasConcept C118615104 @default.
- W3201474414 hasConcept C135315306 @default.
- W3201474414 hasConcept C136119220 @default.
- W3201474414 hasConcept C138885662 @default.
- W3201474414 hasConcept C153269930 @default.
- W3201474414 hasConcept C177264268 @default.
- W3201474414 hasConcept C184337299 @default.
- W3201474414 hasConcept C185592680 @default.
- W3201474414 hasConcept C188027245 @default.
- W3201474414 hasConcept C189950617 @default.
- W3201474414 hasConcept C199360897 @default.
- W3201474414 hasConcept C202444582 @default.
- W3201474414 hasConcept C27508121 @default.
- W3201474414 hasConcept C2776235265 @default.
- W3201474414 hasConcept C33923547 @default.
- W3201474414 hasConcept C41008148 @default.
- W3201474414 hasConcept C71139939 @default.
- W3201474414 hasConceptScore W3201474414C111472728 @default.
- W3201474414 hasConceptScore W3201474414C114092440 @default.
- W3201474414 hasConceptScore W3201474414C11413529 @default.
- W3201474414 hasConceptScore W3201474414C118615104 @default.
- W3201474414 hasConceptScore W3201474414C135315306 @default.
- W3201474414 hasConceptScore W3201474414C136119220 @default.
- W3201474414 hasConceptScore W3201474414C138885662 @default.
- W3201474414 hasConceptScore W3201474414C153269930 @default.
- W3201474414 hasConceptScore W3201474414C177264268 @default.
- W3201474414 hasConceptScore W3201474414C184337299 @default.
- W3201474414 hasConceptScore W3201474414C185592680 @default.
- W3201474414 hasConceptScore W3201474414C188027245 @default.
- W3201474414 hasConceptScore W3201474414C189950617 @default.
- W3201474414 hasConceptScore W3201474414C199360897 @default.
- W3201474414 hasConceptScore W3201474414C202444582 @default.
- W3201474414 hasConceptScore W3201474414C27508121 @default.
- W3201474414 hasConceptScore W3201474414C2776235265 @default.
- W3201474414 hasConceptScore W3201474414C33923547 @default.
- W3201474414 hasConceptScore W3201474414C41008148 @default.
- W3201474414 hasConceptScore W3201474414C71139939 @default.
- W3201474414 hasLocation W32014744141 @default.
- W3201474414 hasLocation W32014744142 @default.
- W3201474414 hasLocation W32014744143 @default.
- W3201474414 hasOpenAccess W3201474414 @default.
- W3201474414 hasPrimaryLocation W32014744141 @default.
- W3201474414 hasRelatedWork W1489752495 @default.
- W3201474414 hasRelatedWork W1975181532 @default.
- W3201474414 hasRelatedWork W1980172029 @default.
- W3201474414 hasRelatedWork W2121590963 @default.
- W3201474414 hasRelatedWork W2705736171 @default.
- W3201474414 hasRelatedWork W2786150474 @default.
- W3201474414 hasRelatedWork W2888608561 @default.
- W3201474414 hasRelatedWork W2970970075 @default.
- W3201474414 hasRelatedWork W3201474414 @default.
- W3201474414 hasRelatedWork W2138716118 @default.
- W3201474414 hasVolume "346" @default.
- W3201474414 isParatext "false" @default.
- W3201474414 isRetracted "false" @default.
- W3201474414 magId "3201474414" @default.
- W3201474414 workType "article" @default.