Discover open access scientific publications

Search, annotate, share and cite publications

Publications by BARTELD KOOI

Completeness via Correspondence for Extensions of the Logic of Paradox

Review of Symbolic Logic

English

Arrow Update Logic

Review of Symbolic Logic

English

Related publications

Incompleteness via Paradox and Completeness

Review of Symbolic Logic

English

Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs

Information Processing Letters

Signal Processing

Computer Science Applications

Information Systems

Theoretical Computer Science

English

Extensions of d'Alembert's Paradox for Elongated Bodies

Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences

English

Trivial Dialetheism and the Logic of Paradox

Logic and Logical Philosophy

English

Completeness and Herbrand Theorems for Nominal Logic

Journal of Symbolic Logic

English

Fixed-Point Extensions of First-Order Logic

Annals of Pure and Applied Logic

English

RETRACTED ARTICLE: A Completeness Theorem for Continuous Predicate Modal Logic

Archive for Mathematical Logic

English

On the Expressive Power of Some Extensions of Linear Temporal Logic

Automatic Control and Computer Sciences

Systems Engineering

Signal Processing

English

Generalised State Descriptions for Strong First-Degree Entailment Logic Extensions

Humanities Bulletin of BMSTU

English