Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #51 to #100.

Epistemic Logics of Structured Intensional Groups: Label: en
Implicit Knowledge in Unawareness Structures - Extended Abstract -: Label: en
Simple Axioms for Local Properties: Label: en
Comparing Social Network Dynamic Operators: Label: en
Depth-bounded Epistemic Logic: Label: en
Resilient Information Aggregation: Label: en
Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games: Label: en
Strengthening Consistency Results in Modal Logic: Label: en
Research Challenges in Orchestration Synthesis: Label: en
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues: Label: en
Algebraic Reasoning About Timeliness: Label: en
Partially Typed Multiparty Sessions: Label: en
Proofs about Network Communication: For Humans and Machines: Label: en
Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic: Label: en
Multimodality in the Hypergraph Lambek Calculus: Label: en
DisCoCat for Donkey Sentences: Label: en
A Kripke Semantics for Hajek's BL: Label: en
Explorations in Subexponential Non-associative Non-commutative Linear Logic: Label: en
Value Iteration is Optic Composition: Label: en
Universal Properties of Lens Proxy Pullbacks: Label: en
Magnitude and Topological Entropy of Digraphs: Label: en
Lax Liftings and Lax Distributive Laws: Label: en
Fibrational Linguistics (FibLang): Language Acquisition: Label: en
Extending Resource Monotones using Kan Extensions: Label: en
Unification of Modal Logic via Topological Categories: Label: en
String Diagrams for Layered Explanations: Label: en
Promonads and String Diagrams for Effectful Categories: Label: en
Polynomial Functors and Shannon Entropy: Label: en
Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing: Label: en
On the Pre- and Promonoidal Structure of Spacetime: Label: en
Monoidal Width: Capturing Rank Width: Label: en
Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets: Label: en
Differential 2-rigs: Label: en
Diegetic Representation of Feedback in Open Games: Label: en
Dependent Optics: Label: en
Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting: Label: en
Cornering Optics: Label: en
Compositional Modeling with Stock and Flow Diagrams: Label: en
Coend Optics for Quantum Combs: Label: en
A Category of Surface-Embedded Graphs: Label: en
Categorification of Negative Information using Enrichment: Label: en
Canonical Gradings of Monads: Label: en
Lang-n-Send Extended: Sending Regular Expressions to Monitors: Label: en
On Composing Communicating Systems: Label: en
Branching Pomsets for Choreographies: Label: en
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics: Label: en
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic: Label: en
Epistemic Syllogistic: First Steps: Label: en
Tableaux for the Logic of Strategically Knowing How: Label: en
Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results: Label: en