Jacek Pasniczek

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Computer Science And Artificial Intelligence

Classical Logic

Revision Operators

Top Venues

J. Log. Lang. Inf.

Publications

Jacek Pasniczek
Names and Quantifiers: Bringing Them Together in Classical Logic. J. Log. Lang. Inf. 32 (3) (2023)