Abstract: 

Fundamental logic is the natural logic which captures joint truths of constructive reasoning and quantum observables. It was recently introduced by Holliday, initially motivated by the reasoning implicit in natural language in the presence of modalities of belief or knowledge. In this talk we cover the basics of this logic and survey results concerning semantics, formalization, and computational complexity.