:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Sulc, Antonin
Format:	Preprint
Published:	2025
Subjects:	Computation and Language Logic in Computer Science
Online Access:	https://arxiv.org/abs/2508.17127
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

PolyQEnt: A Polynomial Quantified Entailment Solver
by: Chatterjee, Krishnendu, et al.
Published: (2024)

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

Contradictions
by: Xu, Yang, et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
by: Xu, Yang, et al.
Published: (2025)

Kleene algebra with commutativity conditions is undecidable
by: de Amorim, Arthur Azevedo, et al.
Published: (2024)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
by: Sebastiani, Roberto
Published: (2025)

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
by: Chodil, Miroslav, et al.
Published: (2025)

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
by: Koopmann, Patrick, et al.
Published: (2025)

Basic interactive algorithms: Preview
by: Gurevich, Yuri
Published: (2025)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

A dependently-typed calculus of event telicity and culminativity
by: Kovalev, Pavel, et al.
Published: (2025)

A Categorical Framework for Modeling with Stock and Flow Diagrams
by: Baez, John C., et al.
Published: (2022)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
by: Joosten, Joost J., et al.
Published: (2026)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
by: Li, Jinzheng, et al.
Published: (2026)

NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic
by: Chen, Peng
Published: (2026)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
by: Rowicki, Radosław Jan, et al.
Published: (2025)

Event2Vec: A Geometric Approach to Learning Composable Representations of Event Sequences
by: Sulc, Antonin
Published: (2025)

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
by: Shakiba, Yousef, et al.
Published: (2025)

Toward Entailment Checking: Explore Eigenmarking Search
by: Katanyukul, Tatpong
Published: (2025)

Encoding call-by-push-value in the pi-calculus
by: Bennetzen, Benjamin, et al.
Published: (2025)

Answer Set Counting and its Applications
by: Kabir, Mohimenul
Published: (2025)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
by: Alkhairy, Maha, et al.
Published: (2025)

Logical forms complement probability in understanding language model (and human) performance
by: Wang, Yixuan, et al.
Published: (2025)

Reliable Conversational Agents under ASP Control that Understand Natural Language
by: Zeng, Yankai
Published: (2025)

Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System
by: Rose, Samuel, et al.
Published: (2024)

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
by: McPheat, Lachlan, et al.
Published: (2020)

MedLogic-AQA: Enhancing Medical Question Answering with Abstractive Models Focusing on Logical Structures
by: Zafar, Aizan, et al.
Published: (2024)

Two Cases of Deduction with Non-referring Descriptions
by: Raclavský, Jiří
Published: (2024)

KOS-TL (Knowledge Operation System Type Logic)
by: Chen, Peng
Published: (2026)

Improving the Diproche CNL through Autoformalization via Large Language Models
by: Carl, Merlin
Published: (2023)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
by: Rooduijn, Jan, et al.
Published: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
by: Das, Anupam, et al.
Published: (2024)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
by: Xu, Yang, et al.
Published: (2025)

Non-commutative linear logic fragments with sub-context-free complexity
by: Nishimiya, Yusaku, et al.
Published: (2025)

Revisiting Conjunctive Query Entailment for $\mathcal S$
by: Ibáñez-García, Yazmín, et al.
Published: (2025)