12 citations · 18 across the 8 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025
Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo +3
In his autobiographic essay written in 1999, ``From logic to computer science and back'', Martin David Davis (3/8/1928--1/1/2023) indicated that he viewed himself as a logician \em…
cs.LO2019
Adding the Power-Set to Description Logics
Laura Giordano, Alberto Policriti
We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Omega, con…
cs.LO2018
Encoding Sets as Real Numbers (Extended version)
Domenico Cantone, Alberto Policriti
We study a variant of the Ackermann encoding of the hereditarily finite sets by the natural numbers, applicable to the larger coll…