Modal Logic I: how we use possible worlds ⟨12,07⟩—optional
Logic with Bo 4:55 2020-08-11 09:00 1 855 46 8

Теги

multiversepossible worlds semanticssaul kripkemodal logicreasonargumentTarskilanguage proof and logicphilosophyvalidtruelanguageUofTtranslationreasoningsentencepropositiontruthUniversity of Torontoteachingfirst order logicuniversityonline educationuniversity of torontofunctionsmathintrointroductionfunctionmathsarithmeticset theoryfirst order languageonline learningfirst orderdeductionidentityequalscomputer scienceFitchpredicate