Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143236485> ?p ?o ?g. }
- W2143236485 endingPage "2015" @default.
- W2143236485 startingPage "1961" @default.
- W2143236485 abstract "The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural logics. Then, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reflect on them in the light of the previously introduced proof-theoretic semantic principles. The contributions of the present paper include a generalisation of Belnap's cut elimination metatheorem for display calculi, and a revised version of the display-style calculus D.EAK. We verify that the revised version satisfies the previously mentioned proof-theoretic semantic principles, and show that it enjoys cut elimination as a consequence of the generalised metatheorem." @default.
- W2143236485 created "2016-06-24" @default.
- W2143236485 creator A5025042082 @default.
- W2143236485 creator A5035153627 @default.
- W2143236485 creator A5047149000 @default.
- W2143236485 creator A5048130519 @default.
- W2143236485 creator A5057868877 @default.
- W2143236485 date "2014-11-03" @default.
- W2143236485 modified "2023-09-26" @default.
- W2143236485 title "A proof-theoretic semantic analysis of dynamic epistemic logic" @default.
- W2143236485 cites W1517890215 @default.
- W2143236485 cites W1533142698 @default.
- W2143236485 cites W1543688617 @default.
- W2143236485 cites W1573218237 @default.
- W2143236485 cites W1602312920 @default.
- W2143236485 cites W1856721019 @default.
- W2143236485 cites W193053345 @default.
- W2143236485 cites W1965338471 @default.
- W2143236485 cites W1978484127 @default.
- W2143236485 cites W1989671109 @default.
- W2143236485 cites W1991755574 @default.
- W2143236485 cites W2008168440 @default.
- W2143236485 cites W2046498902 @default.
- W2143236485 cites W2046499339 @default.
- W2143236485 cites W2053255211 @default.
- W2143236485 cites W2058964903 @default.
- W2143236485 cites W2071463650 @default.
- W2143236485 cites W2081620669 @default.
- W2143236485 cites W2092346246 @default.
- W2143236485 cites W2092847864 @default.
- W2143236485 cites W2096959337 @default.
- W2143236485 cites W2102609718 @default.
- W2143236485 cites W2120445324 @default.
- W2143236485 cites W2126414330 @default.
- W2143236485 cites W2130561095 @default.
- W2143236485 cites W2159131252 @default.
- W2143236485 cites W2165797525 @default.
- W2143236485 cites W2167121581 @default.
- W2143236485 cites W2172700246 @default.
- W2143236485 cites W2207948284 @default.
- W2143236485 cites W4210848565 @default.
- W2143236485 cites W4239007999 @default.
- W2143236485 cites W4248156396 @default.
- W2143236485 cites W56574371 @default.
- W2143236485 cites W586261321 @default.
- W2143236485 doi "https://doi.org/10.1093/logcom/exu063" @default.
- W2143236485 hasPublicationYear "2014" @default.
- W2143236485 type Work @default.
- W2143236485 sameAs 2143236485 @default.
- W2143236485 citedByCount "27" @default.
- W2143236485 countsByYear W21432364852014 @default.
- W2143236485 countsByYear W21432364852015 @default.
- W2143236485 countsByYear W21432364852016 @default.
- W2143236485 countsByYear W21432364852017 @default.
- W2143236485 countsByYear W21432364852018 @default.
- W2143236485 countsByYear W21432364852019 @default.
- W2143236485 countsByYear W21432364852020 @default.
- W2143236485 countsByYear W21432364852021 @default.
- W2143236485 countsByYear W21432364852022 @default.
- W2143236485 countsByYear W21432364852023 @default.
- W2143236485 crossrefType "journal-article" @default.
- W2143236485 hasAuthorship W2143236485A5025042082 @default.
- W2143236485 hasAuthorship W2143236485A5035153627 @default.
- W2143236485 hasAuthorship W2143236485A5047149000 @default.
- W2143236485 hasAuthorship W2143236485A5048130519 @default.
- W2143236485 hasAuthorship W2143236485A5057868877 @default.
- W2143236485 hasBestOaLocation W21432364854 @default.
- W2143236485 hasConcept C102993220 @default.
- W2143236485 hasConcept C105605280 @default.
- W2143236485 hasConcept C107247716 @default.
- W2143236485 hasConcept C108710211 @default.
- W2143236485 hasConcept C111472728 @default.
- W2143236485 hasConcept C111919701 @default.
- W2143236485 hasConcept C11413529 @default.
- W2143236485 hasConcept C124978682 @default.
- W2143236485 hasConcept C134752490 @default.
- W2143236485 hasConcept C138885662 @default.
- W2143236485 hasConcept C154945302 @default.
- W2143236485 hasConcept C184337299 @default.
- W2143236485 hasConcept C195653647 @default.
- W2143236485 hasConcept C199343813 @default.
- W2143236485 hasConcept C199360897 @default.
- W2143236485 hasConcept C203659156 @default.
- W2143236485 hasConcept C2318724 @default.
- W2143236485 hasConcept C2524010 @default.
- W2143236485 hasConcept C2777686260 @default.
- W2143236485 hasConcept C28077239 @default.
- W2143236485 hasConcept C33923547 @default.
- W2143236485 hasConcept C41008148 @default.
- W2143236485 hasConcept C6489637 @default.
- W2143236485 hasConcept C71924100 @default.
- W2143236485 hasConcept C80444323 @default.
- W2143236485 hasConceptScore W2143236485C102993220 @default.
- W2143236485 hasConceptScore W2143236485C105605280 @default.
- W2143236485 hasConceptScore W2143236485C107247716 @default.
- W2143236485 hasConceptScore W2143236485C108710211 @default.
- W2143236485 hasConceptScore W2143236485C111472728 @default.
- W2143236485 hasConceptScore W2143236485C111919701 @default.