Search
Skip to Search Results
Filter
Languages
Collections
Supervisors
Author / Creator / Contributor
Year
Item type
Departments
-
Spring 2020
Applications of formal logic often require the language of the logics to be sufficiently expressive, capturing notions such as necessity, possibility, subject-predicate sentences, quantified sentences, and identity. To this end, logics employ modal operators, first order quantifiers, and an...
1 - 1 of 1