On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics.

Josep Maria Font Ramon Jansana

Published in: Log. J. IGPL (1994)

Keyphrases

expressive power
modal logic
order sorted
special case
data sets
inference rules
nonmonotonic logics
propositional calculus
propositional dynamic logic
proof theory
social networks
clustering algorithm
multiscale
optimal solution