Cover Image

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Sulc, Antonin
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modal Logical Neural Networks
by: Sulc, Antonin
Published: (2025)

Agentic System with Modal Logic for Autonomous Diagnostics
by: Sulc, Antonin, et al.
Published: (2025)

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

Modal Logical Neural Networks for Financial AI
by: Sulc, Antonin
Published: (2026)

A Straightforward Pipeline for Targeted Entailment and Contradiction Detection
by: Sulc, Antonin
Published: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

The Logical Expressiveness of Topological Neural Networks
by: Akbari, Amirreza, et al.
Published: (2026)

Logic Gate Neural Networks are Good for Verification
by: Kresse, Fabian, et al.
Published: (2025)

TLINet: Differentiable Neural Network Temporal Logic Inference
by: Li, Danyang, et al.
Published: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
by: Nunn, Pierre, et al.
Published: (2024)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
by: Queiroz, Luiz Fernando Paulino, et al.
Published: (2026)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
by: Gomes, Ronaldo, et al.
Published: (2026)

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

Neural Logic Networks for Interpretable Classification
by: Perreault, Vincent, et al.
Published: (2025)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

Distribution-Free Normal Modal Logics
by: Hartonas, Chrysafis
Published: (2024)

Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)

Regional, Lattice and Logical Representations of Neural Networks
by: Preto, Sandro, et al.
Published: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)

Nested Sequents for Quasi-transitive Modal Logics
by: Marin, Sonia, et al.
Published: (2024)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
by: Bassan, Shahaf, et al.
Published: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
by: Carvalho, Levi Cordeiro, et al.
Published: (2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
by: Mannucci, Mirco A.
Published: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
by: Kozhemiachenko, Daniil, et al.
Published: (2026)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
by: Morishita, Terufumi, et al.
Published: (2024)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
by: Zhang, Yani, et al.
Published: (2024)

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

The Modal Logic of Abstraction Refinement
by: Piribauer, Jakob, et al.
Published: (2026)

Paraconsistent Constructive Modal Logic
by: Gao, Han, et al.
Published: (2025)

Many-Valued Modal Logic
by: Karniel, Amir, et al.
Published: (2024)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
by: Chrysafis, et al.
Published: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
by: de Groot, Jim, et al.
Published: (2024)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
by: Guzmán, Manuel Vargas, et al.
Published: (2025)