ABSTRACT: In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A ...
Abstract: Many artificial intelligence problems are NP-complete ones. To decrease the needed time of such a problem solving a method of extraction of sub-formulas characterizing the common features of ...
Abstract: We study predicate logic that is interpreted in Kripke models similarly to intuitionistic logic except that the accessibility relation of each model is not necessarily reflexive. Unlike in ...
Object representation of FO3 Expressions (including predicates with repeated arguments and formulas with typed arguments) Object representation of CoR Expressions (both homogeneous/untyped and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results