Modallogik

Logik, Formellt system
	Satslogik; Bivalent logik; Flervärd logik; Modallogik; Deontisk logik; Temporal logik; Matematisk logik; Filosofisk logik; Metalogik; Boolesk algebra;
Logiska system
	Satslogik; Syllogistisk logik; Klassisk logik; Predikatlogik; Första ordningens logik; Andra ordningens logik; Intuitionistisk logik; Parakonsistent logik; Substrukturell logik; Relevanslogik; Linjär logik; Suddig logik (Fuzzy logic); Sannolikhetslogik; Relationell logik; Deontisk logik;

Modallogik är den gren av logiken där man studerar modaliteterna – alltså möjlighet, omöjlighet, nödvändighet och kontingens. Ibland räknas även de deontiska begreppen in under modallogiken.

Denna artikel om logik är bara påbörjad. Du kan hjälpa till genom att utöka den.

Navigeringsmeny