Image de couverture de livre

Model Checking Logical Actions in Magic Tricks

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Zhu, Weijun
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Computers and Society
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Logical Modelling in CS Education: Bridging the Natural Language Gap
par: Kneisel, Tristan, et autres
Publié: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
par: Aghamov, Rajab, et autres
Publié: (2025)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
par: Tulcan, Radu-Florin, et autres
Publié: (2026)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
par: Pshenitsyn, Tikhon
Publié: (2023)

From Actions to Obligations: A Deontic Action Model Logic
par: Cignarale, Giorgio
Publié: (2026)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
par: Schirrmacher, Nicole, et autres
Publié: (2023)

Checking Satisfiability of Hyperproperties using First-Order Logic
par: Beutner, Raven, et autres
Publié: (2025)

Equitable Access to Justice: Logical LLMs Show Promise
par: Kant, Manuj, et autres
Publié: (2024)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
par: Lyon, Tim S.
Publié: (2026)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2022)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
par: Horner, Elias, et autres
Publié: (2025)

Łukasiewicz Logic with Actions for Neural Networks training
par: Leuştean, Ioana, et autres
Publié: (2025)

Model Checking Matrix Product States against Linear Chain Logic
par: Xu, Ming, et autres
Publié: (2026)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
par: Melani, Beatrice, et autres
Publié: (2025)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Distributional Probabilistic Model Checking
par: Elsayed-Aly, Ingy, et autres
Publié: (2023)

Deontic Action Logics: A Modular Algebraic Perspective
par: Areces, Carlos, et autres
Publié: (2025)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
par: Kozhemiachenko, Daniil, et autres
Publié: (2026)

Probabilistic Model Checking: Applications and Trends
par: Kwiatkowska, Marta, et autres
Publié: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Integrating Loop Acceleration into Bounded Model Checking
par: Frohn, Florian, et autres
Publié: (2024)

Model Checking Markov Chains as Distribution Transformers
par: Aghamov, Rajab, et autres
Publié: (2024)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Proof Complexity of Linear Logics
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2026)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

Revisiting Assumptions Ordering in CAR-Based Model Checking
par: Dong, Yibo, et autres
Publié: (2024)

Policies Grow on Trees: Model Checking Families of MDPs
par: Andriushchenko, Roman, et autres
Publié: (2024)

Infinite State Model Checking by Learning Transitive Relations
par: Frohn, Florian, et autres
Publié: (2025)

Functional Reduction to Speed Up Bounded Model Checking
par: Yu, Changyuan, et autres
Publié: (2025)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)