Coalgebraic dynamic logic (re-)visited
Seminář / přednáška Coalgebraic dynamic logic (re-)visited.
A Proof Theory for Profinite Modal Algebras
Seminář / přednáška A Proof Theory for Profinite Modal Algebras.
From Reasoning Agents to Language Agents: How LLMs are Reshaping the AI Agent Paradigm.
Seminář / přednáška From Reasoning Agents to Language Agents: How LLMs are Reshaping the AI Agent Paradigm..
Defeasible reasoning on concepts
Seminář / přednáška Defeasible reasoning on concepts.
Reflecting on the proof theory of first-order relevant logics and relevant modal logics
Seminář / přednáška Reflecting on the proof theory of first-order relevant logics and relevant modal logics.
The Tennenbaum phenomenon in a general setting
Seminář / přednáška The Tennenbaum phenomenon in a general setting.
A General Constructive Upper Bound on Shallow Neural Nets Complexity.
Seminář / přednáška A General Constructive Upper Bound on Shallow Neural Nets Complexity..
Maehara interpolation in extensions of R-mingle
Seminář / přednáška Maehara interpolation in extensions of R-mingle.
The connection between amalgamation and deductive interpolation
Seminář / přednáška The connection between amalgamation and deductive interpolation.