Login / Signup
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.
Dimiter Vakarelov
Published in:
Advances in Modal Logic (2002)
Keyphrases
</>
finite number
propositional variables
propositional logic
logic programming
boolean games
convex sets
average cost
belief revision
first order logic
learning algorithm
np hard
uniform distribution
propositional satisfiability