A Logic is Referential iff it is Selfextensional.

Ryszard Wójcicki

Published in: Stud Logica (2003)

Keyphrases

modal logic
logic programming
classical logic
multi valued
real time
defeasible logic
linear logic
sound and complete axiomatization
search algorithm
inductive logic programming
logical framework
predicate logic
asynchronous circuits
dynamic logic