Buchumschlag

Common Knowledge, Sailboats, and Publicity

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bozdag, Sena, Roy, Olivier
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Topological Semantics for Common Inductive Knowledge
von: Namachivayam, Siddharth
Veröffentlicht: (2026)

Logic of (Common or Distributed) Knowledge
von: Shi, Chenwei
Veröffentlicht: (2025)

Knowledge and Common Knowledge of Strategies
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

Common Knowledge Always, Forever
von: Diéguez, Martín, et al.
Veröffentlicht: (2026)

Intuitionistic Common Knowledge
von: Zenger, Lukas
Veröffentlicht: (2026)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

A concise proof of Commoner's theorem
von: Jancar, Petr
Veröffentlicht: (2024)

Wadge degrees of $Δ^0_2$ omega-powers
von: Finkel, Olivier, et al.
Veröffentlicht: (2024)

VECSR: Virtually Embodied Common Sense Reasoning System
von: Tudor, Alexis R., et al.
Veröffentlicht: (2025)

Parameterized complexity of n-dense modal logics
von: Gasquet, Olivier
Veröffentlicht: (2026)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
von: de Frutos-Escrig, David, et al.
Veröffentlicht: (2024)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
von: Bergstra, Jan A, et al.
Veröffentlicht: (2023)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

Measuring robustness of dynamical systems. Relating time and space to length and precision
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

Common Foundations for Recursive Shape Languages
von: Ahmetaj, Shqiponja, et al.
Veröffentlicht: (2026)

Synergistic Knowledge
von: Cachin, Christian, et al.
Veröffentlicht: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2024)

Knowledge on a Budget
von: Majer, Ondrej, et al.
Veröffentlicht: (2026)

On the Satisfiability of Local First-Order Logics with Data
von: Bollig, Benedikt, et al.
Veröffentlicht: (2023)

Dynamic Hypersequents for Public Announcement Logic
von: Lerouvillois, Clara, et al.
Veröffentlicht: (2025)

Building Bigraphs of the real world
von: Ang, Kang Rong Roy
Veröffentlicht: (2025)

Termination of Graph Transformation Systems Using Weighted Subgraph Counting
von: Overbeek, Roy, et al.
Veröffentlicht: (2023)

Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
von: Endrullis, Jörg, et al.
Veröffentlicht: (2023)

Group Knowledge of Hypothetical Values
von: Baltag, Alexandru, et al.
Veröffentlicht: (2025)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
von: André, Étienne, et al.
Veröffentlicht: (2023)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
von: Figueira, Diego, et al.
Veröffentlicht: (2025)

Uniform Agent-interpolation of Distributed Knowledge
von: Su, Youan
Veröffentlicht: (2026)

The Common Core Ontologies
von: Jensen, Mark, et al.
Veröffentlicht: (2024)

Knowledge Reasoning Involving Four Types of Syllogisms
von: Wei, Long, et al.
Veröffentlicht: (2025)

Minimal Model Counting via Knowledge Compilation
von: Kabir, Mohimenul
Veröffentlicht: (2024)

Uniform Interpolation in Distributed Knowledge Modal Logics
von: Wang, Kexu, et al.
Veröffentlicht: (2026)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)

The Complexity of Learning Temporal Properties
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)

On Knowledge Compilation For Two-Variable First-Order Logic
von: Meng, Qiaolan, et al.
Veröffentlicht: (2026)

A Logic of Knowledge and Justifications, with an Application to Computational Trust
von: Genco, Francesco A.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
von: Zeyen, Olivier, et al.
Veröffentlicht: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
von: Bunch, Carter, et al.
Veröffentlicht: (2024)