Cover Image

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Howlader, Prosenjit, Liau, Churn-Jung
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
by: Howlader, Prosenjit, et al.
Published: (2024)

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
by: Howlader, Prosenjit, et al.
Published: (2026)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
by: Bourgaux, Camille, et al.
Published: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Fuzzy Lattice-based Description Logic
by: Ding, Yiwen, et al.
Published: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
by: Baaj, Ismaïl, et al.
Published: (2025)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
by: Olson, Taylor
Published: (2026)

Integrating Fuzzy Logic into Deep Symbolic Regression
by: Gerdes, Wout, et al.
Published: (2024)

Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
by: Nepvou, Alexandre Le
Published: (2025)

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

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
by: Wang, Ruolin, et al.
Published: (2024)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
by: Ospanov, Azim, et al.
Published: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
by: Nikooroo, Saleh, et al.
Published: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
by: Arkoudas, Konstantine, et al.
Published: (2026)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
by: McGinness, Lachlan, et al.
Published: (2025)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
by: Zang, Zhengqing, et al.
Published: (2026)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
by: Zhang, Xinglang, et al.
Published: (2026)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
by: Vitali, Fabio
Published: (2025)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
by: Li, Yongming
Published: (2025)

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

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
by: Gupta, Gopal, et al.
Published: (2025)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
by: Schön, Oliver, et al.
Published: (2026)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
by: Yousefzadeh, Roozbeh, et al.
Published: (2025)

A Comprehensive Survey of Fuzzy Implication Functions
by: Fernandez-Peralta, Raquel
Published: (2025)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
by: Arisaka, Ryuta
Published: (2024)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
by: David, Victor, et al.
Published: (2026)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
by: Hansen, Zachary
Published: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
by: Yang, Kaiyu, et al.
Published: (2024)

A Logic of Uncertain Interpretation
by: Bjorndahl, Adam
Published: (2025)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
by: Lanzinger, Matthias, et al.
Published: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
by: Di Stefano, Federica, et al.
Published: (2025)

Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
by: Zhou, Yujun, et al.
Published: (2025)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions
by: Ross, Oscar Montiel
Published: (2026)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
by: Ileri, Atalay Mert, et al.
Published: (2024)

Temporal Inductive Logic Reasoning over Hypergraphs
by: Yang, Yuan, et al.
Published: (2022)

Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)