Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288601911> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4288601911 abstract "This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, where the concurrency mechanism is the so called true concurrency, here we use an approach based on process calculus, like CCS and CSP, and Action Models Logic. Our approach makes possible the proof of soundness, completeness and decidability, different from the others approaches. We present an axiomatization and show that the proof of soundness, completeness and decidability can be done using a reduction method." @default.
- W4288601911 created "2022-07-29" @default.
- W4288601911 creator A5030111854 @default.
- W4288601911 creator A5068730051 @default.
- W4288601911 date "2019-02-04" @default.
- W4288601911 modified "2023-09-27" @default.
- W4288601911 title "Dynamic Epistemic Logic with Communication Actions" @default.
- W4288601911 doi "https://doi.org/10.48550/arxiv.1902.01164" @default.
- W4288601911 hasPublicationYear "2019" @default.
- W4288601911 type Work @default.
- W4288601911 citedByCount "0" @default.
- W4288601911 crossrefType "posted-content" @default.
- W4288601911 hasAuthorship W4288601911A5030111854 @default.
- W4288601911 hasAuthorship W4288601911A5068730051 @default.
- W4288601911 hasBestOaLocation W42886019111 @default.
- W4288601911 hasConcept C111472728 @default.
- W4288601911 hasConcept C121332964 @default.
- W4288601911 hasConcept C134306372 @default.
- W4288601911 hasConcept C138885662 @default.
- W4288601911 hasConcept C153269930 @default.
- W4288601911 hasConcept C165801399 @default.
- W4288601911 hasConcept C17231256 @default.
- W4288601911 hasConcept C172385210 @default.
- W4288601911 hasConcept C193702766 @default.
- W4288601911 hasConcept C199343813 @default.
- W4288601911 hasConcept C199360897 @default.
- W4288601911 hasConcept C206987240 @default.
- W4288601911 hasConcept C2777686260 @default.
- W4288601911 hasConcept C2777796570 @default.
- W4288601911 hasConcept C2780791683 @default.
- W4288601911 hasConcept C33923547 @default.
- W4288601911 hasConcept C39920170 @default.
- W4288601911 hasConcept C41008148 @default.
- W4288601911 hasConcept C62520636 @default.
- W4288601911 hasConcept C71924100 @default.
- W4288601911 hasConcept C80444323 @default.
- W4288601911 hasConceptScore W4288601911C111472728 @default.
- W4288601911 hasConceptScore W4288601911C121332964 @default.
- W4288601911 hasConceptScore W4288601911C134306372 @default.
- W4288601911 hasConceptScore W4288601911C138885662 @default.
- W4288601911 hasConceptScore W4288601911C153269930 @default.
- W4288601911 hasConceptScore W4288601911C165801399 @default.
- W4288601911 hasConceptScore W4288601911C17231256 @default.
- W4288601911 hasConceptScore W4288601911C172385210 @default.
- W4288601911 hasConceptScore W4288601911C193702766 @default.
- W4288601911 hasConceptScore W4288601911C199343813 @default.
- W4288601911 hasConceptScore W4288601911C199360897 @default.
- W4288601911 hasConceptScore W4288601911C206987240 @default.
- W4288601911 hasConceptScore W4288601911C2777686260 @default.
- W4288601911 hasConceptScore W4288601911C2777796570 @default.
- W4288601911 hasConceptScore W4288601911C2780791683 @default.
- W4288601911 hasConceptScore W4288601911C33923547 @default.
- W4288601911 hasConceptScore W4288601911C39920170 @default.
- W4288601911 hasConceptScore W4288601911C41008148 @default.
- W4288601911 hasConceptScore W4288601911C62520636 @default.
- W4288601911 hasConceptScore W4288601911C71924100 @default.
- W4288601911 hasConceptScore W4288601911C80444323 @default.
- W4288601911 hasLocation W42886019111 @default.
- W4288601911 hasOpenAccess W4288601911 @default.
- W4288601911 hasPrimaryLocation W42886019111 @default.
- W4288601911 hasRelatedWork W1538723405 @default.
- W4288601911 hasRelatedWork W1587584656 @default.
- W4288601911 hasRelatedWork W1836259941 @default.
- W4288601911 hasRelatedWork W187636597 @default.
- W4288601911 hasRelatedWork W2128204593 @default.
- W4288601911 hasRelatedWork W2914189215 @default.
- W4288601911 hasRelatedWork W2969732029 @default.
- W4288601911 hasRelatedWork W3007714615 @default.
- W4288601911 hasRelatedWork W3082817911 @default.
- W4288601911 hasRelatedWork W3082528441 @default.
- W4288601911 isParatext "false" @default.
- W4288601911 isRetracted "false" @default.
- W4288601911 workType "article" @default.