Copertina

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chodil, Miroslav, Kučera, Antonín
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The General and Finite Satisfiability Problems for PCTL are Undecidable
di: Chodil, Miroslav, et al.
Pubblicazione: (2024)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
di: Fortin, Marie, et al.
Pubblicazione: (2023)

Undecidability of Linear Logics without Weakening
di: Suzuki, Jun, et al.
Pubblicazione: (2025)

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

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
di: Pratt-Hartmann, Ian
Pubblicazione: (2017)

Undecidability of theories of semirings with fixed points
di: Das, Anupam, et al.
Pubblicazione: (2025)

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

An Undecidability Proof for the Plan Existence Problem
di: Achilleos, Antonis
Pubblicazione: (2026)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
di: Melani, Beatrice, et al.
Pubblicazione: (2025)

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

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

A Dual-Threshold Probabilistic Knowing Value Logic
di: Wang, Shanxia
Pubblicazione: (2026)

Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication
di: Sulc, Antonin
Pubblicazione: (2026)

PFL: a Probabilistic Logic for Fault Trees
di: Nicoletti, Stefano M., et al.
Pubblicazione: (2023)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
di: Li, Jinzhao, et al.
Pubblicazione: (2025)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
di: Sulc, Antonin
Pubblicazione: (2026)

Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
di: Lipparini, Enrico, et al.
Pubblicazione: (2023)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2026)

Modal Logical Neural Networks
di: Sulc, Antonin
Pubblicazione: (2025)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
di: Jovanovic, Dejan
Pubblicazione: (2026)

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

Undecidability of the Emptiness Problem of Deterministic Propositional While Programs with Graph Loop: Hypothesis Elimination Using Loops
di: Nakamura, Yoshiki
Pubblicazione: (2025)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
di: Heck, Linus, et al.
Pubblicazione: (2025)

Systemic Constraints of Undecidability
di: Bulin, Seth
Pubblicazione: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
di: Kojima, Ryota, et al.
Pubblicazione: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

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

Hyperproperty Verification as CHC Satisfiability
di: Itzhaky, Shachar, et al.
Pubblicazione: (2023)

Probabilistic Abduction in a Fuzzy Logic Framework
di: Flaminio, Tommaso, et al.
Pubblicazione: (2026)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
di: Leneutre, Jean, et al.
Pubblicazione: (2024)

SAT-based Learning of Computation Tree Logic
di: Pommellet, Adrien, et al.
Pubblicazione: (2024)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
di: Wolter, Frank, et al.
Pubblicazione: (2024)

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
di: Dudenhefner, Andrej
Pubblicazione: (2026)

Towards a Proof System for Probabilistic Dynamic Logic
di: Johnsen, Einar Broch, et al.
Pubblicazione: (2024)

Satisfiability Modulo Exponential Integer Arithmetic
di: Frohn, Florian, et al.
Pubblicazione: (2024)

Finding Connections via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)

Spanning Matrices via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2024)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
di: Kazakov, Yevgeny, et al.
Pubblicazione: (2009)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
di: Li, Yongming
Pubblicazione: (2025)

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