activity
20202026
most citedOn Blass translation for Leśniewski's propositional ontology and modal logics

2 citations · 4 across the 23 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions

Takao Inoué

We introduce \emph{TAPO-Structured Description Logic} (TAPO--DL), a formal extension of classical description logic designed to model \emph{information behavior} as a structured, d…