Cover Image

Muddy Waters

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	van Ditmarsch, Hans
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Satisfiability of Quantified Boolean Announcements
by: van Ditmarsch, Hans, et al.
Published: (2022)

The Undecidability of Quantified Announcements
by: Ågotnes, Thomas, et al.
Published: (2024)

Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
by: Balbiani, Philippe, et al.
Published: (2025)

Modal Logic for Simulation, Refinement, and Mutual Ignorance
by: van Ditmarsch, Hans, et al.
Published: (2025)

Impure Simplicial Complexes: Complete Axiomatization
by: Randrianomentsoa, Rojo, et al.
Published: (2022)

Hypergraph Semantics for Doxastic Logics
by: van Ditmarsch, Hans, et al.
Published: (2025)

Bisimulation for Impure Simplicial Complexes
by: Bílková, Marta, et al.
Published: (2024)

Knowledge and simplicial complexes
by: van Ditmarsch, Hans, et al.
Published: (2020)

Self-Correcting Gossip Protocols
by: Cignarale, Giorgio, et al.
Published: (2026)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

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

Adding Negation to Lambda Mu
by: van Bakel, Steffen
Published: (2021)

Definability and Interpolation in Philosophy
by: van Benthem, Johan
Published: (2026)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
by: van Collem, Simcha, et al.
Published: (2025)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
by: Heuvel, Bas van den
Published: (2024)

The Varieties of Ought-Implies-Can and Deontic STIT Logic
by: van Berkel, Kees, et al.
Published: (2026)

Operations on Fixpoint Equation Systems
by: Neele, Thomas, et al.
Published: (2023)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Shininess, strong politeness, and unicorns
by: Przybocki, Benjamin, et al.
Published: (2025)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Constructive Ordinal Exponentiation
by: de Jong, Tom, et al.
Published: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Prime Factorization in Models of PV$_1$
by: Ježil, Ondřej
Published: (2025)

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)