Jaśkowski's Universally Free Logic.

Ermanno Bencivenga

Published in: Stud Logica (2014)

Keyphrases

modal logic
classical logic
logic programming
automated reasoning
multi valued
computational properties
asynchronous circuits
real time
databases
neural network
search engine
set theory
abductive reasoning
epistemic logic
deontic logic