The Strong Version of a Sentential Logic.

Hugo Albuquerque Josep Maria Font Ramon Jansana

Published in: Stud Logica (2017)

Keyphrases

modal logic
logic programming
multi valued
data sets
classical logic
computational properties
proof theory
real time
artificial intelligence
knowledge base
belief revision
asynchronous circuits