Copertina

KOS-TL (Knowledge Operation System Type Logic)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Chen, Peng
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Computation and Language Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Logic Programming with Extensible Types
di: Perez, Ivan, et al.
Pubblicazione: (2026)

Logical Predicates in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

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

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

Orthologic Type Systems
di: Guilloud, Simon, et al.
Pubblicazione: (2025)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
di: Zimmerman, Conrad, et al.
Pubblicazione: (2024)

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

Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System
di: Kifer, Michael, et al.
Pubblicazione: (2026)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
di: Castagna, Giuseppe, et al.
Pubblicazione: (2024)

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

Unrealizability Logic
di: Kim, Jinwoo, et al.
Pubblicazione: (2022)

Partial Incorrectness Logic
di: Verscht, Lena, et al.
Pubblicazione: (2025)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
di: Matsuoka, Satoshi
Pubblicazione: (2026)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
di: Zilberstein, Noam
Pubblicazione: (2024)

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

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
di: Işık, İlker, et al.
Pubblicazione: (2024)

Recursive Mutexes in Separation Logic
di: Du, Ke, et al.
Pubblicazione: (2026)

Finite-Choice Logic Programming
di: Martens, Chris, et al.
Pubblicazione: (2024)

Positive First-order Logic on Words and Graphs
di: Kuperberg, Denis
Pubblicazione: (2022)

First-order Logic with Being a Thesis Modal Operator
di: Łyczak, Marcin
Pubblicazione: (2024)

A Type System for Data Flow and Alias Analysis in ReScript
di: Lund, Nicky Ask, et al.
Pubblicazione: (2024)

Ordered Adjoint Logic (Extended Version)
di: Roshal, Sophia, et al.
Pubblicazione: (2026)

Towards Concurrent Quantitative Separation Logic
di: Fesefeldt, Ira, et al.
Pubblicazione: (2022)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

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

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
di: Mandrioli, Dino, et al.
Pubblicazione: (2020)

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

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
di: Liu, Yinhong, et al.
Pubblicazione: (2024)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

FO-Complete Program Verification for Heap Logics
di: Murali, Adithya, et al.
Pubblicazione: (2026)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

A Nominal Approach to Probabilistic Separation Logic
di: Li, John M., et al.
Pubblicazione: (2024)

Cyclic Proofs in Hoare Logic and its Reverse
di: Brotherston, James, et al.
Pubblicazione: (2025)

A Demonic Outcome Logic for Randomized Nondeterminism
di: Zilberstein, Noam, et al.
Pubblicazione: (2024)

Comparing Session Type Systems derived from Linear Logic
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
di: Rahman, A M Muntasir, et al.
Pubblicazione: (2024)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
di: Teuber, Samuel, et al.
Pubblicazione: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
di: Le, Quang Loc
Pubblicazione: (2025)

Reasoning about Weak Isolation Levels in Separation Logic
di: Mathiasen, Anders Alnor, et al.
Pubblicazione: (2025)