Copertina

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Howlader, Prosenjit, Liau, Churn-Jung
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
di: Li, Yongming
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

A Logic of Uncertain Interpretation
di: Bjorndahl, Adam
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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