# A Canonical Model for Constant Domain Basic First-Order Logic

## TL;DR

This paper constructs a canonical model for constant domain basic first-order logic (BQLCD) and demonstrates that it satisfies key logical properties like disjunction and existence, advancing the understanding of BQLCD's foundational aspects.

## Contribution

The paper introduces a canonical model for BQLCD and verifies important logical properties, providing a foundational framework for this logic system.

## Key findings

- BQLCD satisfies disjunction property
- BQLCD satisfies existence property
- Canonical model effectively demonstrates these properties

## Abstract

I build a canonical model for constant domain basic first-order logic (BQLCD), the constant domain first-order extension of Visser's basic propositional logic, and use the canonical model to verify that BQLCD satisfies the disjunction and existence properties.