Imagen de Portada

Group Knowledge of Hypothetical Values

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Baltag, Alexandru, Smets, Sonja
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
por: Alexandru, Baltag, et al.
Publicado: (2025)

Logic meets Wigner's Friend (and their Friends)
por: Baltag, Alexandru, et al.
Publicado: (2023)

Dependence Logics in Temporal Settings
por: Baltag, Alexandru, et al.
Publicado: (2022)

Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
por: Baltag, Alexandru, et al.
Publicado: (2025)

Knowability as continuity: a topological account of informational dependence
por: Baltag, Alexandru, et al.
Publicado: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
por: Wang, Shanxia
Publicado: (2026)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
por: Liang, Xiaolong, et al.
Publicado: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

Many-Valued Modal Logic
por: Karniel, Amir, et al.
Publicado: (2024)

Topological Semantics for Common Inductive Knowledge
por: Namachivayam, Siddharth
Publicado: (2026)

Compositional Value Iteration with Pareto Caching
por: Watanabe, Kazuki, et al.
Publicado: (2024)

The Design of an Interactive Proof Mode for Dafny
por: Ciobâcă, Ştefan, et al.
Publicado: (2025)

Congruence Closure Modulo Groups
por: Kim, Dohan
Publicado: (2023)

Synergistic Knowledge
por: Cachin, Christian, et al.
Publicado: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Mirroring Call-by-Need, or Values Acting Silly
por: Accattoli, Beniamino, et al.
Publicado: (2024)

Groups and Inverse Semigroups in Lambda Calculus
por: Bucciarelli, Antonio, et al.
Publicado: (2026)

Knowledge on a Budget
por: Majer, Ondrej, et al.
Publicado: (2026)

The Value Problem for Multiple-Environment MDPs with Parity Objective
por: Chatterjee, Krishnendu, et al.
Publicado: (2025)

The Disjunction-Free Fragment of D2 is Three-Valued
por: Omori, Hitoshi
Publicado: (2024)

Deciding Predicate Logical Theories of Real-Valued Functions
por: Ratschan, Stefan
Publicado: (2023)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
por: Goncharov, Sergey
Publicado: (2024)

Intrinsically Correct Algorithms and Recursive Coalgebras
por: Alexandru, Cass, et al.
Publicado: (2025)

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
por: Pizzo, Nicolò, et al.
Publicado: (2026)

Logic of (Common or Distributed) Knowledge
por: Shi, Chenwei
Publicado: (2025)

Common Knowledge, Sailboats, and Publicity
por: Bozdag, Sena, et al.
Publicado: (2025)

Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
por: Anantharaman, Siva, et al.
Publicado: (2025)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
por: Barbarossa, Davide
Publicado: (2024)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
por: Aoto, Takahito, et al.
Publicado: (2026)

Uniform Agent-interpolation of Distributed Knowledge
por: Su, Youan
Publicado: (2026)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
por: Phalakarn, Kittiphon, et al.
Publicado: (2025)

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
por: Vialard, Isa
Publicado: (2025)

Knowledge Reasoning Involving Four Types of Syllogisms
por: Wei, Long, et al.
Publicado: (2025)

Minimal Model Counting via Knowledge Compilation
por: Kabir, Mohimenul
Publicado: (2024)

Uniform Interpolation in Distributed Knowledge Modal Logics
por: Wang, Kexu, et al.
Publicado: (2026)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
por: Freiman, Robert, et al.
Publicado: (2024)

On Knowledge Compilation For Two-Variable First-Order Logic
por: Meng, Qiaolan, et al.
Publicado: (2026)

A Logic of Knowledge and Justifications, with an Application to Computational Trust
por: Genco, Francesco A.
Publicado: (2024)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
por: Kozhemiachenko, Daniil, et al.
Publicado: (2026)