logica applicata

senso comune

ragionamenti
tutti gli uomini sono mortali, ecc.

logica formale

condizioni nei programmi, circuiti elettronici, rappresentazione dati, …

lo studio della logica nasce nel primo senso

poi applicata a problemi specifici
Claude Shannon: A Mathematical Theory of Communications

applicazione a problemi specifici

• programmazione
• rilevazione e correzione di errori
• circuiti elettronici
• soluzione di problemi per traduzione
• proof theory
• knowledge and beliefs
• semantics of programs
  propositional dynamic logic: la formula modale ⟨π⟩A è vera in uno stato se esiste una possibile esecuzione del programma π che porta in uno stato che soddisfa A
• specification and verification of programs and systems
  model checking, Hoare logic
• database