Predicate logic is an extension of propositional logic. Here we consider what is called first-order predicate logic, abbreviated FOL (sometimes abbreviated PL1, not to be confused with the programming ...

Abstract: This paper presents a formal method based on standard concepts from mathematical logic, for the analysis of system properties, particularly safety. Informally, a safety proposition is a ...

Historically, it was initially a formalization of mathematical language and reasoning, proposed by G. Frege between the end of the 19th and the beginning of the 20th century, and "popularized" by B.

For the purpose of propositional logic, propositions are (almost) atomic black-boxes: They have names and definitions, but their names are just atomic symbols in the logic syntax, and their ...

Abstract: We investigate the relationship between recursive enumerability and elementary frame definability in first-order predicate modal logic. On one hand, it is well known that every first-order ...

A discrete quantum structure is a discrete quantum space that is equipped with relations andfunctions of various finite arities. Discrete quantum spaces are identified withhereditarily atomic von ...