Matches in SemOpenAlex for { <https://semopenalex.org/work/W2052267452> ?p ?o ?g. }
- W2052267452 endingPage "318" @default.
- W2052267452 startingPage "305" @default.
- W2052267452 abstract "We present a coinductive definition of models for modal logics and show that it provides a homogeneous framework in which it is possible to include different modal languages ranging from classical modalities to operators from hybrid and memory logics. Moreover, results that had to be proved separately for each different language—but whose proofs were known to be mere routine—now can be proved in a general way. We show, for example, that we can have a unique definition of bisimulation for all these languages, and prove a single invariance-under-bisimulation theorem. We then use the new framework to investigate normal forms for modal logics. The normal form we introduce may have a smaller modal depth than the original formula, and it is inspired by global modalities like the universal modality and the satisfiability operator from hybrid logics. These modalities can be extracted from under the scope of other operators. We provide a general definition of extractable modalities and show how to compute extracted normal forms. As it is the case with other classical normal forms—e.g., the conjunctive normal form of propositional logic—the extracted normal form of a formula can be exponentially bigger than the original formula, if we require the two formulas to be equivalent. If we only require equi-satisfiability, then every modal formula has an extracted normal form which is only polynomially bigger than the original formula, and it can be computed in polynomial time." @default.
- W2052267452 created "2016-06-24" @default.
- W2052267452 creator A5022706489 @default.
- W2052267452 creator A5083233595 @default.
- W2052267452 date "2010-12-01" @default.
- W2052267452 modified "2023-10-16" @default.
- W2052267452 title "Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)" @default.
- W2052267452 cites W105203805 @default.
- W2052267452 cites W114846694 @default.
- W2052267452 cites W121805954 @default.
- W2052267452 cites W1489300317 @default.
- W2052267452 cites W1512262469 @default.
- W2052267452 cites W1554551469 @default.
- W2052267452 cites W1596013090 @default.
- W2052267452 cites W1605860778 @default.
- W2052267452 cites W1805258570 @default.
- W2052267452 cites W1967405807 @default.
- W2052267452 cites W2017094488 @default.
- W2052267452 cites W2073491323 @default.
- W2052267452 cites W2107171883 @default.
- W2052267452 cites W2134120846 @default.
- W2052267452 cites W2164389533 @default.
- W2052267452 cites W2610670723 @default.
- W2052267452 cites W26772505 @default.
- W2052267452 cites W340109471 @default.
- W2052267452 cites W39997369 @default.
- W2052267452 doi "https://doi.org/10.1016/j.jal.2010.08.010" @default.
- W2052267452 hasPublicationYear "2010" @default.
- W2052267452 type Work @default.
- W2052267452 sameAs 2052267452 @default.
- W2052267452 citedByCount "5" @default.
- W2052267452 countsByYear W20522674522013 @default.
- W2052267452 countsByYear W20522674522014 @default.
- W2052267452 countsByYear W20522674522015 @default.
- W2052267452 crossrefType "journal-article" @default.
- W2052267452 hasAuthorship W2052267452A5022706489 @default.
- W2052267452 hasAuthorship W2052267452A5083233595 @default.
- W2052267452 hasConcept C104317684 @default.
- W2052267452 hasConcept C108710211 @default.
- W2052267452 hasConcept C11191006 @default.
- W2052267452 hasConcept C114092440 @default.
- W2052267452 hasConcept C11413529 @default.
- W2052267452 hasConcept C118615104 @default.
- W2052267452 hasConcept C135315306 @default.
- W2052267452 hasConcept C136119220 @default.
- W2052267452 hasConcept C158448853 @default.
- W2052267452 hasConcept C168773769 @default.
- W2052267452 hasConcept C17020691 @default.
- W2052267452 hasConcept C185592680 @default.
- W2052267452 hasConcept C188027245 @default.
- W2052267452 hasConcept C199343813 @default.
- W2052267452 hasConcept C202444582 @default.
- W2052267452 hasConcept C2524010 @default.
- W2052267452 hasConcept C27508121 @default.
- W2052267452 hasConcept C2777686260 @default.
- W2052267452 hasConcept C33923547 @default.
- W2052267452 hasConcept C40220748 @default.
- W2052267452 hasConcept C41008148 @default.
- W2052267452 hasConcept C55493867 @default.
- W2052267452 hasConcept C71139939 @default.
- W2052267452 hasConcept C71924100 @default.
- W2052267452 hasConcept C78344899 @default.
- W2052267452 hasConcept C86339819 @default.
- W2052267452 hasConceptScore W2052267452C104317684 @default.
- W2052267452 hasConceptScore W2052267452C108710211 @default.
- W2052267452 hasConceptScore W2052267452C11191006 @default.
- W2052267452 hasConceptScore W2052267452C114092440 @default.
- W2052267452 hasConceptScore W2052267452C11413529 @default.
- W2052267452 hasConceptScore W2052267452C118615104 @default.
- W2052267452 hasConceptScore W2052267452C135315306 @default.
- W2052267452 hasConceptScore W2052267452C136119220 @default.
- W2052267452 hasConceptScore W2052267452C158448853 @default.
- W2052267452 hasConceptScore W2052267452C168773769 @default.
- W2052267452 hasConceptScore W2052267452C17020691 @default.
- W2052267452 hasConceptScore W2052267452C185592680 @default.
- W2052267452 hasConceptScore W2052267452C188027245 @default.
- W2052267452 hasConceptScore W2052267452C199343813 @default.
- W2052267452 hasConceptScore W2052267452C202444582 @default.
- W2052267452 hasConceptScore W2052267452C2524010 @default.
- W2052267452 hasConceptScore W2052267452C27508121 @default.
- W2052267452 hasConceptScore W2052267452C2777686260 @default.
- W2052267452 hasConceptScore W2052267452C33923547 @default.
- W2052267452 hasConceptScore W2052267452C40220748 @default.
- W2052267452 hasConceptScore W2052267452C41008148 @default.
- W2052267452 hasConceptScore W2052267452C55493867 @default.
- W2052267452 hasConceptScore W2052267452C71139939 @default.
- W2052267452 hasConceptScore W2052267452C71924100 @default.
- W2052267452 hasConceptScore W2052267452C78344899 @default.
- W2052267452 hasConceptScore W2052267452C86339819 @default.
- W2052267452 hasIssue "4" @default.
- W2052267452 hasLocation W20522674521 @default.
- W2052267452 hasOpenAccess W2052267452 @default.
- W2052267452 hasPrimaryLocation W20522674521 @default.
- W2052267452 hasRelatedWork W142442699 @default.
- W2052267452 hasRelatedWork W1978559879 @default.
- W2052267452 hasRelatedWork W1999165408 @default.
- W2052267452 hasRelatedWork W2052267452 @default.
- W2052267452 hasRelatedWork W2073942343 @default.