# Sitemap - 2023 - Infinitely More

Well orders and the ordinal numbers

Relational logic—an introduction

Logic as algebra, supertruth, superfalsity, paraconsistent logic

Łukasiewicz logic and supervaluation logic

Multi-valued logic—an introduction

A formal proof system for propositional logic

Compactness for propositional logic

A hierarchy of expressive power

Expressive completeness of a logical language

A formal language for propositional logic

Classical propositional logic—introduction

Epistemic logic and the problem of common knowledge

Potential versus actual infinity

Transfinite recursive constructions

Shadows of infinity cast over the finite realm

Equinumerosity and the definition of finiteness