FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500169890> ?p ?o ?g. }

• W1500169890 abstract "We propose a new logic for expressing properties of concurrent and distributed systems, Dynamic Epistemic Spatial Logic, as an extension of Hennessy-Milner logic with spatial and epistemic operators. Aiming to provide a completely axiomatized and decidable logic for concurrency, we devise epistemic operators, indexed by processes, to replace the guarantee operator in the classical spatial logics. The knowledge of a process, considered as epistemic agent, is understood as the information, locally available to our process, about the overall-global system/process in which it is an agent/subprocess. Dynamic Epistemic Spatial Logic supports a semantics based on a fragment of CCS against which the classical spatial logics have been proved to be undecidable. Underpinning on a new congruence relation on processes - the structural bisimulation - we prove the finite model property for our logic, thus concluding on its decidability against the same semantics. A sound complete Hilbert-style axiomatic system is developed, comprehending the behavior of spatial operators in relation with dynamic/temporal and epistemic ones. Eventually we emphasize on the similarities with the classical axioms and rules of knowledge, that present our logic as an authentic dynamic-epistemic logic. This is the preliminary version of a paper that was published in Proceedings of International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006), LNCS 4229, Springer, 2006. The original publication is available at www.springerlink.com" @default.
• W1500169890 created "2016-06-24" @default.
• W1500169890 creator A5028775661 @default.
• W1500169890 creator A5060646027 @default.
• W1500169890 date "2006-03-01" @default.
• W1500169890 modified "2023-09-27" @default.
• W1500169890 title "Dynamic-Epistemic Spatial Logic" @default.
• W1500169890 cites W1529140242 @default.
• W1500169890 cites W1533142698 @default.
• W1500169890 cites W1573078772 @default.
• W1500169890 cites W1582292473 @default.
• W1500169890 cites W1867254752 @default.
• W1500169890 cites W1910998188 @default.
• W1500169890 cites W1932110987 @default.
• W1500169890 cites W1973627522 @default.
• W1500169890 cites W1978469611 @default.
• W1500169890 cites W1982081755 @default.
• W1500169890 cites W1988804687 @default.
• W1500169890 cites W2048089332 @default.
• W1500169890 cites W2076073997 @default.
• W1500169890 cites W2076632469 @default.
• W1500169890 cites W2106102830 @default.
• W1500169890 cites W2108857165 @default.
• W1500169890 cites W2118229393 @default.
• W1500169890 cites W2136794369 @default.
• W1500169890 cites W2146819619 @default.
• W1500169890 cites W2156866532 @default.
• W1500169890 cites W2163751633 @default.
• W1500169890 cites W2163869523 @default.
• W1500169890 cites W2336123333 @default.
• W1500169890 cites W2583880647 @default.
• W1500169890 cites W2610670723 @default.
• W1500169890 cites W2616782385 @default.
• W1500169890 cites W2912003593 @default.
• W1500169890 cites W3140030144 @default.
• W1500169890 cites W2216689095 @default.
• W1500169890 hasPublicationYear "2006" @default.
• W1500169890 type Work @default.
• W1500169890 sameAs 1500169890 @default.
• W1500169890 citedByCount "3" @default.
• W1500169890 countsByYear W15001698902012 @default.
• W1500169890 crossrefType "journal-article" @default.
• W1500169890 hasAuthorship W1500169890A5028775661 @default.
• W1500169890 hasAuthorship W1500169890A5060646027 @default.
• W1500169890 hasConcept C102993220 @default.
• W1500169890 hasConcept C107247716 @default.
• W1500169890 hasConcept C121332964 @default.
• W1500169890 hasConcept C124101348 @default.
• W1500169890 hasConcept C135315306 @default.
• W1500169890 hasConcept C153269930 @default.
• W1500169890 hasConcept C165801399 @default.
• W1500169890 hasConcept C167729594 @default.
• W1500169890 hasConcept C172385210 @default.
• W1500169890 hasConcept C203659156 @default.
• W1500169890 hasConcept C2524010 @default.
• W1500169890 hasConcept C25343380 @default.
• W1500169890 hasConcept C2777796570 @default.
• W1500169890 hasConcept C33923547 @default.
• W1500169890 hasConcept C41008148 @default.
• W1500169890 hasConcept C62520636 @default.
• W1500169890 hasConcept C80444323 @default.
• W1500169890 hasConceptScore W1500169890C102993220 @default.
• W1500169890 hasConceptScore W1500169890C107247716 @default.
• W1500169890 hasConceptScore W1500169890C121332964 @default.
• W1500169890 hasConceptScore W1500169890C124101348 @default.
• W1500169890 hasConceptScore W1500169890C135315306 @default.
• W1500169890 hasConceptScore W1500169890C153269930 @default.
• W1500169890 hasConceptScore W1500169890C165801399 @default.
• W1500169890 hasConceptScore W1500169890C167729594 @default.
• W1500169890 hasConceptScore W1500169890C172385210 @default.
• W1500169890 hasConceptScore W1500169890C203659156 @default.
• W1500169890 hasConceptScore W1500169890C2524010 @default.
• W1500169890 hasConceptScore W1500169890C25343380 @default.
• W1500169890 hasConceptScore W1500169890C2777796570 @default.
• W1500169890 hasConceptScore W1500169890C33923547 @default.
• W1500169890 hasConceptScore W1500169890C41008148 @default.
• W1500169890 hasConceptScore W1500169890C62520636 @default.
• W1500169890 hasConceptScore W1500169890C80444323 @default.
• W1500169890 hasLocation W15001698901 @default.
• W1500169890 hasOpenAccess W1500169890 @default.
• W1500169890 hasPrimaryLocation W15001698901 @default.
• W1500169890 hasRelatedWork W1531900905 @default.
• W1500169890 hasRelatedWork W1978469611 @default.
• W1500169890 hasRelatedWork W1986999264 @default.
• W1500169890 hasRelatedWork W2026097436 @default.
• W1500169890 hasRelatedWork W2048963544 @default.
• W1500169890 hasRelatedWork W2067093513 @default.
• W1500169890 hasRelatedWork W2076632469 @default.
• W1500169890 hasRelatedWork W2143236485 @default.
• W1500169890 hasRelatedWork W2146819619 @default.
• W1500169890 hasRelatedWork W2192324004 @default.
• W1500169890 hasRelatedWork W2271648767 @default.
• W1500169890 hasRelatedWork W2294610341 @default.
• W1500169890 hasRelatedWork W2396113496 @default.
• W1500169890 hasRelatedWork W2596127847 @default.
• W1500169890 hasRelatedWork W2795943823 @default.
• W1500169890 hasRelatedWork W2914189215 @default.
• W1500169890 hasRelatedWork W2949068336 @default.
• W1500169890 hasRelatedWork W2952638525 @default.
• W1500169890 hasRelatedWork W2963628981 @default.

• next