Closure Properties for Galois Operators in Distributed Logic
Abstract
This is a report on two closure properties of some new operators, the Galois operators, for Distributed Logic for use in expressing properties of FPGA applications. The Galois operators are variations on the usual necessity and possibility operators. In effect, they complete the first-order logic patterns in the relational semantics for modal logic, although here we extend them for use in Distributed Logic. It was important to bring these into Distributed Logic to increase its expressive power. There is a companion NRL Memorandum Report, Galois Operators for Distributed Logic, which provides more of the connections with expressing properties of FPGA applications of the Galois operators in Distributed Logic. This report and the companion report will be used for a logic paper showing the Thomason-Goldblatt theorem for the Galois operators. The original Thomason-Goldblatt theorem covers only the necessity and possibility operators for bog standard modal logic.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 24, 2021
- Accession Number
- AD1149310
Entities
People
- Gerard Allwein
Organizations
- United States Naval Research Laboratory