Matches in SemOpenAlex for { <https://semopenalex.org/work/W1989540314> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1989540314 endingPage "60" @default.
- W1989540314 startingPage "42" @default.
- W1989540314 abstract "Building on the work of L. Moss on coalgebraic logic, we study in a general setting a class of infinitary modal logics for F-coalgebras, designed to capture simulation and bisimulation. We use work by A. Thijs on coalgebraic modelling of simulation, in terms of relators Γ as extensions of functors. We prove our logics can indeed capture simulation and bisimulation, i.e. the existence of a simulation (or bisimulation) is equivalent to the preservation of (or equivalence with respect to) certain classes of sentences. Moreover, we prove that one can characterize any given coalgebra up to simulation (and, in certain conditions, up to bisimulation) by a single sentence. We show that truth for this logic can be understood as a simulation relation itself, but with respect to a richer functor F moreover, it is the the largest simulation, i.e. the similarity relation between states of the coalgebra and elements of the language. This sheds a new perspective on the classical preservation and characterizability results, and also on logic games. The two kinds of games normally used in logic (“truth games” to define the semantics dynamically, and “similarity games” between two structures) are seen to be the same kind of game at the level of coalgebras: simulation games." @default.
- W1989540314 created "2016-06-24" @default.
- W1989540314 creator A5036886810 @default.
- W1989540314 date "2000-01-01" @default.
- W1989540314 modified "2023-09-27" @default.
- W1989540314 title "A Logic for Coalgebraic Simulation" @default.
- W1989540314 cites W112626393 @default.
- W1989540314 cites W2070034419 @default.
- W1989540314 cites W2149574014 @default.
- W1989540314 cites W2613512071 @default.
- W1989540314 doi "https://doi.org/10.1016/s1571-0661(05)80343-3" @default.
- W1989540314 hasPublicationYear "2000" @default.
- W1989540314 type Work @default.
- W1989540314 sameAs 1989540314 @default.
- W1989540314 citedByCount "42" @default.
- W1989540314 countsByYear W19895403142012 @default.
- W1989540314 countsByYear W19895403142013 @default.
- W1989540314 countsByYear W19895403142014 @default.
- W1989540314 countsByYear W19895403142015 @default.
- W1989540314 countsByYear W19895403142020 @default.
- W1989540314 countsByYear W19895403142021 @default.
- W1989540314 countsByYear W19895403142022 @default.
- W1989540314 countsByYear W19895403142023 @default.
- W1989540314 crossrefType "journal-article" @default.
- W1989540314 hasAuthorship W1989540314A5036886810 @default.
- W1989540314 hasBestOaLocation W19895403141 @default.
- W1989540314 hasConcept C11191006 @default.
- W1989540314 hasConcept C118615104 @default.
- W1989540314 hasConcept C135315306 @default.
- W1989540314 hasConcept C136119220 @default.
- W1989540314 hasConcept C154945302 @default.
- W1989540314 hasConcept C156772000 @default.
- W1989540314 hasConcept C185592680 @default.
- W1989540314 hasConcept C188027245 @default.
- W1989540314 hasConcept C202444582 @default.
- W1989540314 hasConcept C25343380 @default.
- W1989540314 hasConcept C27508121 @default.
- W1989540314 hasConcept C2777212361 @default.
- W1989540314 hasConcept C2778112365 @default.
- W1989540314 hasConcept C2778249326 @default.
- W1989540314 hasConcept C2780069185 @default.
- W1989540314 hasConcept C33923547 @default.
- W1989540314 hasConcept C41008148 @default.
- W1989540314 hasConcept C54355233 @default.
- W1989540314 hasConcept C71139939 @default.
- W1989540314 hasConcept C77088390 @default.
- W1989540314 hasConcept C80444323 @default.
- W1989540314 hasConcept C86803240 @default.
- W1989540314 hasConceptScore W1989540314C11191006 @default.
- W1989540314 hasConceptScore W1989540314C118615104 @default.
- W1989540314 hasConceptScore W1989540314C135315306 @default.
- W1989540314 hasConceptScore W1989540314C136119220 @default.
- W1989540314 hasConceptScore W1989540314C154945302 @default.
- W1989540314 hasConceptScore W1989540314C156772000 @default.
- W1989540314 hasConceptScore W1989540314C185592680 @default.
- W1989540314 hasConceptScore W1989540314C188027245 @default.
- W1989540314 hasConceptScore W1989540314C202444582 @default.
- W1989540314 hasConceptScore W1989540314C25343380 @default.
- W1989540314 hasConceptScore W1989540314C27508121 @default.
- W1989540314 hasConceptScore W1989540314C2777212361 @default.
- W1989540314 hasConceptScore W1989540314C2778112365 @default.
- W1989540314 hasConceptScore W1989540314C2778249326 @default.
- W1989540314 hasConceptScore W1989540314C2780069185 @default.
- W1989540314 hasConceptScore W1989540314C33923547 @default.
- W1989540314 hasConceptScore W1989540314C41008148 @default.
- W1989540314 hasConceptScore W1989540314C54355233 @default.
- W1989540314 hasConceptScore W1989540314C71139939 @default.
- W1989540314 hasConceptScore W1989540314C77088390 @default.
- W1989540314 hasConceptScore W1989540314C80444323 @default.
- W1989540314 hasConceptScore W1989540314C86803240 @default.
- W1989540314 hasLocation W19895403141 @default.
- W1989540314 hasOpenAccess W1989540314 @default.
- W1989540314 hasPrimaryLocation W19895403141 @default.
- W1989540314 hasRelatedWork W1541645275 @default.
- W1989540314 hasRelatedWork W1553109126 @default.
- W1989540314 hasRelatedWork W1588527214 @default.
- W1989540314 hasRelatedWork W1810923604 @default.
- W1989540314 hasRelatedWork W1989540314 @default.
- W1989540314 hasRelatedWork W2205707477 @default.
- W1989540314 hasRelatedWork W2810752651 @default.
- W1989540314 hasRelatedWork W4213277014 @default.
- W1989540314 hasRelatedWork W2138716118 @default.
- W1989540314 hasRelatedWork W2564507786 @default.
- W1989540314 hasVolume "33" @default.
- W1989540314 isParatext "false" @default.
- W1989540314 isRetracted "false" @default.
- W1989540314 magId "1989540314" @default.
- W1989540314 workType "article" @default.