- A classical solution to the Liar Paradox

- Truth preservation across interpretations and logics

- single-value logics

- new view of semantics

- for future publication and grad work

- on the origins of the concept of contradiction

- truth, types, liskov

- remarks on constraint satisfaction and the liar

- universal knowledge ontology

- dynamic sentence truth-value logic

- remarks on truth-grounding and the liar

- thinking about truth as a prosentential operator

- propositional depth, liar paradox, programming

- addressing metalogical justification and skepticism

- sketch of single-valued logic

- automating truth and proof

- sketching out hdl

- sketch of a comparative theory of truth

- is SVL reductive?