The top documents tagged [negation normal form]

Abate, Gore & Widmann, Tableaux for Predicate Dynamic Logic [26 pgs]

Tarski's World Textbook

20100926 ontology konev_lecture04

1 Model Checking, Abstractions and Reductions Orna Grumberg Computer Science Department Technion Haifa, Israel.

1 Translating from LTL to automata Book: Chapter 6.

Technion 1 (Yet another) decision procedure for Equality Logic Ofer Strichman and Orly Meir Technion.

Generating minimum transitivity constraints in P-time for deciding Equality Logic

ALCN

ALLOY

LDK R Logics for Data and Knowledge Representation Description Logics: tableaux.