×

Standard forms of formulas of \(\tau\)-logics. (English) Zbl 0996.03506

Summary: Algorithms reducing formulas to \(\tau\)-conjunctive normal form and \(\tau\)-disjunctive normal form are constructed. These algorithms have the properties of equivalent reformation.

MSC:

03B70 Logic in computer science
68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite