Introduction to Semantics and Formalization of Logic / Rudolf Carnap

Semantics and Syntax in Lexical Functional Grammar: The Resource Logic Approach

Symbolic Logic: Syntax, Semantics, And Proof by Agler

Formal Semantics of Programming Languages, Winskel, Glynn, Very Good Book

Constable - Logic and Program Semantics Essays Dedicated to Dexter K - X555z

Modal Logic: An Introduction to its Syntax and Semantics by Cocchiarella, Nino B

Introduction to Semantics and Formalization of Logic by Carnap, Rudolf

Symbolic Logic: Syntax, Semantics, and Proof; Agler, David