Imagen de Portada

Knowledge Reasoning Involving Four Types of Syllogisms

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wei, Long, Hao, Liheng
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
por: Wang, Shanxia
Publicado: (2026)

On Small Types in Univalent Foundations
por: de Jong, Tom, et al.
Publicado: (2021)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
por: Liang, Xiaolong, et al.
Publicado: (2024)

Basis-Sensitive Quantum Typing via Realisability
por: Díaz-Caro, Alejandro, et al.
Publicado: (2025)

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

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
por: Mannucci, Mirco A., et al.
Publicado: (2026)

Semantic Foundations of Reductive Reasoning
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory
por: Peng, Chen
Publicado: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
por: Qu, Zhuoyuan
Publicado: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
por: Geuvers, Herman
Publicado: (2026)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
por: Niederhauser, Johannes, et al.
Publicado: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

KOS-TL (Knowledge Operation System Type Logic)
por: Chen, Peng
Publicado: (2026)

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

Reasoning under uncertainty in the game of Cops and Robbers
por: Li, Dazhu, et al.
Publicado: (2025)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
por: Sabelli, Pietro
Publicado: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
por: Takahashi, Yuta
Publicado: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
por: Mannucci, Mirco A., et al.
Publicado: (2025)

Groupoidal Realizability for Intensional Type Theory
por: Speight, Sam
Publicado: (2024)

Impredicative Encodings of (Higher) Inductive Types
por: Awodey, Steve, et al.
Publicado: (2018)

Coslice Colimits in Homotopy Type Theory
por: Hart, Perry, et al.
Publicado: (2024)

Four imprints of Belnap's useful four-valued logic in computer science
por: Jakl, Tomáš
Publicado: (2025)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
por: DeLong, Lauren Nicole, et al.
Publicado: (2023)

Principal Typing for Intersection Types, Forty-Five Years Later
por: Pautasso, Daniele, et al.
Publicado: (2026)

(Pointed) Univalence in Universe Category Models of Type Theory
por: Kapulkin, Chris, et al.
Publicado: (2025)

Topological Semantics for Common Inductive Knowledge
por: Namachivayam, Siddharth
Publicado: (2026)

A Unifying Approach to Probabilistic Testing Equivalences
por: Chen, Weijun, et al.
Publicado: (2025)

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

Regular Typed Unification
por: Barbosa, João, et al.
Publicado: (2024)

Synergistic Knowledge
por: Cachin, Christian, et al.
Publicado: (2024)

Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library
por: Alonso, Bernardo
Publicado: (2026)

Open Horn Type Theory
por: Poernomo, Iman
Publicado: (2025)

The Transpension Type: Technical Report
por: Nuyts, Andreas
Publicado: (2020)

Epistemic Skills: Reasoning about Knowledge and Oblivion
por: Liang, Xiaolong, et al.
Publicado: (2025)

Analyzing Divergence for Nondeterministic Probabilistic Models
por: Wu, Hao, et al.
Publicado: (2024)

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

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)