Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski ...

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 ...

Work on expressing Alloy models in first-order predicate calculus. The Alloy modeling language (see http://alloytools.org/) and the Alloy Analyzer are extremely ...

Abstract: The paper presents automated relational technology ART Studio that generates end-user decision trees from relational data automatically. End-users navigate down these tree structures to ...

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 ...