Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Propositional Dynamic Logic for Instantial Neighborhood Semantics
Stockholms universitet, Humanistiska fakulteten, Filosofiska institutionen.
Antal upphovsmän: 32019 (Engelska)Ingår i: Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, E-ISSN 1572-8730, Vol. 107, nr 4, s. 719-751Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

We propose a new perspective on logics of computation by combining instantial neighborhood logic INL with bisimulation safe operations adapted from PDL. INL is a recent modal logic, based on an extended neighborhood semantics which permits quantification over individual neighborhoods plus their contents. This system has a natural interpretation as a logic of computation in open systems. Motivated by this interpretation, we show that a number of familiar program constructors can be adapted to instantial neighborhood semantics to preserve invariance for instantial neighborhood bisimulations, the appropriate bisimulation concept for INL. We also prove that our extended logic IPDL is a conservative extension of dual-free game logic, and its semantics generalizes the monotone neighborhood semantics of game logic. Finally, we provide a sound and complete system of axioms for IPDL, and establish its finite model property and decidability.

Ort, förlag, år, upplaga, sidor
2019. Vol. 107, nr 4, s. 719-751
Nyckelord [en]
Dynamic logic, Game logic, Neighborhood models, Instantial neighborhood logic
Nationell ämneskategori
Matematik Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:su:diva-171975DOI: 10.1007/s11225-018-9825-5ISI: 000475880700007OAI: oai:DiVA.org:su-171975DiVA, id: diva2:1348339
Tillgänglig från: 2019-09-04 Skapad: 2019-09-04 Senast uppdaterad: 2019-09-04Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Enqvist, Sebastian
Av organisationen
Filosofiska institutionen
I samma tidskrift
Studia Logica: An International Journal for Symbolic Logic
MatematikData- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 51 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf