Imagen de Portada

Satisfiability of Quantified Boolean Announcements

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	van Ditmarsch, Hans, French, Tim, Galimullin, Rustam
Formato:	Preprint
Publicado:	2022
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

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

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

Anonymous Public Announcements
por: Ågotnes, Thomas, et al.
Publicado: (2025)

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
por: Dolgorukov, Vitaliy, et al.
Publicado: (2024)

Muddy Waters
por: van Ditmarsch, Hans
Publicado: (2025)

Formal Verification of Diffusion Auctions
por: Galimullin, Rustam, et al.
Publicado: (2025)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
por: Catta, Davide, et al.
Publicado: (2026)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
por: Galimullin, Rustam, et al.
Publicado: (2026)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
por: Dawar, Anuj, et al.
Publicado: (2026)

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

Symmetries of Dependency Quantified Boolean Formulas
por: Hofstadler, Clemens, et al.
Publicado: (2024)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
por: Ratschan, Stefan, et al.
Publicado: (2026)

Impure Simplicial Complexes: Complete Axiomatization
por: Randrianomentsoa, Rojo, et al.
Publicado: (2022)

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

Varieties of Distributed Knowledge
por: Galimullin, Rustam, et al.
Publicado: (2025)

First-Order Coalition Logic
por: Catta, Davide, et al.
Publicado: (2025)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
por: Kim, Curie, et al.
Publicado: (2026)

On the Number of Quantifiers Needed to Define Boolean Functions
por: Carmosino, Marco, et al.
Publicado: (2024)

Model Counting for Dependency Quantified Boolean Formulas
por: Fung, Long-Hin, et al.
Publicado: (2025)

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

Knowledge and simplicial complexes
por: van Ditmarsch, Hans, et al.
Publicado: (2020)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
por: Chatterjee, Krishnendu, et al.
Publicado: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
por: Lyon, Tim S., et al.
Publicado: (2026)

Structural Analysis of Boolean Equation Systems
por: Keiren, Jeroen, et al.
Publicado: (2010)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
por: Galimullin, Rustam, et al.
Publicado: (2025)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

Hyperproperty Verification as CHC Satisfiability
por: Itzhaky, Shachar, et al.
Publicado: (2023)

Satisfiability Modulo Exponential Integer Arithmetic
por: Frohn, Florian, et al.
Publicado: (2024)

Finding Connections via Satisfiability Solving
por: Eisenhofer, Clemens, et al.
Publicado: (2026)

Spanning Matrices via Satisfiability Solving
por: Eisenhofer, Clemens, et al.
Publicado: (2024)

Boolean basis, formula size, and number of modal operators
por: Berkholz, Christoph, et al.
Publicado: (2024)

Satisfiability in Łukasiewicz logic and its unbounded relative
por: Haniková, Zuzana, et al.
Publicado: (2025)

Dynamic Hypersequents for Public Announcement Logic
por: Lerouvillois, Clara, et al.
Publicado: (2025)

Satisfiability Modulo Theories for Verifying MILP Certificates
por: Wood, Kenan, et al.
Publicado: (2023)

On the Satisfiability of Local First-Order Logics with Data
por: Bollig, Benedikt, et al.
Publicado: (2023)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
por: Keiren, Jeroen J. A., et al.
Publicado: (2013)

Probabilistic and Causal Satisfiability: Constraining the Model
por: Bläser, Markus, et al.
Publicado: (2025)

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

Checking Satisfiability of Hyperproperties using First-Order Logic
por: Beutner, Raven, et al.
Publicado: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
por: Stoltenow, Lara, et al.
Publicado: (2024)