Copertina

Knowledge Reasoning Involving Four Types of Syllogisms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wei, Long, Hao, Liheng
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Primitive Recursive Dependent Type Theory
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

KOS-TL (Knowledge Operation System Type Logic)
di: Chen, Peng
Pubblicazione: (2026)

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

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

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

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

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

Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)

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

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

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

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

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

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

Topological Semantics for Common Inductive Knowledge
di: Namachivayam, Siddharth
Pubblicazione: (2026)

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

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

Regular Typed Unification
di: Barbosa, João, et al.
Pubblicazione: (2024)

Synergistic Knowledge
di: Cachin, Christian, et al.
Pubblicazione: (2024)

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

Open Horn Type Theory
di: Poernomo, Iman
Pubblicazione: (2025)

The Transpension Type: Technical Report
di: Nuyts, Andreas
Pubblicazione: (2020)

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

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

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

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