Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2019.05.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2944032716
@@ Property / OpenAlex ID: W2944032716 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logic and its proof-theory
@@ Property / cites work: Hybrid logic and its proof-theory / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-varieties and initial semantics for hybridized institutions
+Normal rank
@@ Property / cites work @@
+Foundations of logic programming in hybrid logics with user-defined sharing
+Normal rank
@@ Property / cites work @@
+Birkhoff style calculi for hybrid logics
@@ Property / cites work: Birkhoff style calculi for hybrid logics / rank @@
+Normal rank
@@ Property / cites work @@
+Hybridization of Institutions
@@ Property / cites work: Hybridization of Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+The Space and Motion of Communicating Agents
@@ Property / cites work: The Space and Motion of Communicating Agents / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Foundations of Cyber-Physical Systems
@@ Property / cites work: Logical Foundations of Cyber-Physical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical Model Checking for Cyber-Physical Systems
+Normal rank
@@ Property / cites work @@
+A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
+Normal rank
@@ Property / cites work @@
+Hierarchical hybrid logic
@@ Property / cites work: Hierarchical hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for bigraphical structure
@@ Property / cites work: Axioms for bigraphical structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q3527403
@@ Property / cites work: Q3527403 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for actor networks: a case study in constrained hybridization
+Normal rank
@@ Property / cites work @@
+Hybrid languages and temporal logic
@@ Property / cites work: Hybrid languages and temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of modal and temporal logics with reference pointers
+Normal rank
@@ Property / cites work @@
+Q4289329
@@ Property / cites work: Q4289329 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Temporal Logic
@@ Property / cites work: Dynamic Epistemic Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic, truth, and the master modality.
@@ Property / cites work: Modal logic, truth, and the master modality. / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Application of modal logic to programming
@@ Property / cites work: Application of modal logic to programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising the logic of computer programming
@@ Property / cites work: Axiomatising the logic of computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Graph and model transformation. General framework and applications
+Normal rank
@@ Property / cites work @@
+Heterogeneous and asynchronous networks of timed systems
+Normal rank
@@ Property / cites work @@
+Service-Oriented Logic Programming
@@ Property / cites work: Service-Oriented Logic Programming / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127900446
@@ Property / Wikidata QID: Q127900446 / rank @@
+Normal rank