:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Leuştean, Ioana, Macovei, Bogdan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2509.13020
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Complexity of Abduction in Łukasiewicz Logic
von: Inoue, Katsumi, et al.
Veröffentlicht: (2025)

Operational semantics and program verification using many-sorted hybrid modal logic
von: Leustean, Ioana, et al.
Veröffentlicht: (2019)

Complexity of Łukasiewicz Modal Probabilistic Logics
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2025)

Proceedings Eighth Symposium on Working Formal Methods
von: Marin, Mircea, et al.
Veröffentlicht: (2024)

Notes on applicative matching logic
von: Leuştean, Laurenţiu
Veröffentlicht: (2025)

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

Matching logic -- a new axiomatization
von: Leuştean, Laurenţiu, et al.
Veröffentlicht: (2025)

Extending Action Logic with Omega Iteration
von: Pshenitsyn, Tikhon
Veröffentlicht: (2025)

A Study on Actions for Atomic Logics
von: Espejo-Boix, Raül
Veröffentlicht: (2024)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
von: Pshenitsyn, Tikhon
Veröffentlicht: (2023)

From Actions to Obligations: A Deontic Action Model Logic
von: Cignarale, Giorgio
Veröffentlicht: (2026)

Decidability of Graph Neural Networks via Logical Characterizations
von: Benedikt, Michael, et al.
Veröffentlicht: (2024)

The Logical Expressiveness of Topological Neural Networks
von: Akbari, Amirreza, et al.
Veröffentlicht: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

Deontic Action Logics: A Modular Algebraic Perspective
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
von: Lyon, Tim S.
Veröffentlicht: (2023)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

Model Checking Logical Actions in Magic Tricks
von: Zhu, Weijun
Veröffentlicht: (2024)

Logic Gate Neural Networks are Good for Verification
von: Kresse, Fabian, et al.
Veröffentlicht: (2025)

Logic Synthesis with Generative Deep Neural Networks
von: Li, Xihan, et al.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
von: Wei, Jin
Veröffentlicht: (2024)

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

TLINet: Differentiable Neural Network Temporal Logic Inference
von: Li, Danyang, et al.
Veröffentlicht: (2024)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Dynamic Cantor Derivative Logic
von: Fernández-Duque, David, et al.
Veröffentlicht: (2021)

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

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
von: Wałęga, Przemysław Andrzej, et al.
Veröffentlicht: (2026)

Proof Complexity of Linear Logics
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2026)

Neural Logic Networks for Interpretable Classification
von: Perreault, Vincent, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)