Provability logic

Provability logic is a type of logic that talks about statements which are true or false (also known as propositions) and reasons why these statements may be true or false. It also talks about what kind of evidence or arguments can prove that a statement is either true or false. By using provability logic, you can understand how a statement can be proven or disproven based on facts and other information. In other words, it is like a special kind of logic that helps you decide whether a statement is true or false, and why.