Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chodil, Miroslav, Kučera, Antonín
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

The General and Finite Satisfiability Problems for PCTL are Undecidable
von: Chodil, Miroslav, et al.
Veröffentlicht: (2024)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
von: Fortin, Marie, et al.
Veröffentlicht: (2023)

Undecidability of Linear Logics without Weakening
von: Suzuki, Jun, et al.
Veröffentlicht: (2025)

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

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

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

An Undecidability Proof for the Plan Existence Problem
von: Achilleos, Antonis
Veröffentlicht: (2026)

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

Probabilistic and Causal Satisfiability: Constraining the Model
von: Bläser, Markus, et al.
Veröffentlicht: (2025)

The Undecidability of Quantified Announcements
von: Ågotnes, Thomas, et al.
Veröffentlicht: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication
von: Sulc, Antonin
Veröffentlicht: (2026)

PFL: a Probabilistic Logic for Fault Trees
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2023)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
von: Li, Jinzhao, et al.
Veröffentlicht: (2025)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
von: Sulc, Antonin
Veröffentlicht: (2026)

Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
von: Lipparini, Enrico, et al.
Veröffentlicht: (2023)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Modal Logical Neural Networks
von: Sulc, Antonin
Veröffentlicht: (2025)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
von: Jovanovic, Dejan
Veröffentlicht: (2026)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Undecidability of the Emptiness Problem of Deterministic Propositional While Programs with Graph Loop: Hypothesis Elimination Using Loops
von: Nakamura, Yoshiki
Veröffentlicht: (2025)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
von: Heck, Linus, et al.
Veröffentlicht: (2025)

Systemic Constraints of Undecidability
von: Bulin, Seth
Veröffentlicht: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
von: Kojima, Ryota, et al.
Veröffentlicht: (2025)

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

Satisfiability of Quantified Boolean Announcements
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2022)

Hyperproperty Verification as CHC Satisfiability
von: Itzhaky, Shachar, et al.
Veröffentlicht: (2023)

Probabilistic Abduction in a Fuzzy Logic Framework
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2026)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
von: Leneutre, Jean, et al.
Veröffentlicht: (2024)

SAT-based Learning of Computation Tree Logic
von: Pommellet, Adrien, et al.
Veröffentlicht: (2024)

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

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
von: Dudenhefner, Andrej
Veröffentlicht: (2026)

Towards a Proof System for Probabilistic Dynamic Logic
von: Johnsen, Einar Broch, et al.
Veröffentlicht: (2024)

Satisfiability Modulo Exponential Integer Arithmetic
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

Finding Connections via Satisfiability Solving
von: Eisenhofer, Clemens, et al.
Veröffentlicht: (2026)

Spanning Matrices via Satisfiability Solving
von: Eisenhofer, Clemens, et al.
Veröffentlicht: (2024)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
von: Kazakov, Yevgeny, et al.
Veröffentlicht: (2009)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
von: Li, Yongming
Veröffentlicht: (2025)

Satisfiability in Łukasiewicz logic and its unbounded relative
von: Haniková, Zuzana, et al.
Veröffentlicht: (2025)