Besonderhede van voorbeeld: 4468726753039644782

German

Die Aussagenlogik, stärkere klassische Logiken wie Prädikatenlogik der zweiten Stufe oder nicht-klassische Logiken wie intuitionistische Logik werden ebenfalls untersucht.

Greek

Μελετώνται επίσης εκφραστικότερες κλασσικές λογικές όπως η λογική δευτέρου βαθμού (second-order logic) ή η απειρική λογική (infinitary logic), αλλά και μη κλασσικές λογικές όπως, η διαισθητική λογική (intuitionistic logic).