Search
Skip to Search Results-
Fall 2020
After a qualitative analysis of deception, I select the component of misinformation for encoding into a logic. I introduce dynamic epistemic logic (DEL) and the Cards scenario (Cards), then modify Cards to illustrate shortcomings of DEL in expressing misinformation. I develop two dynamic...
-
Fall 2014
Inconsistent and collapse models of arithmetic are presented in the language and semantics of the simple paraconsistent logic LP. I present a logic which extends LP by the addition of a sensible conditional connective and quantifiers. This logic, called A 3 , is specified as a Hilbert style axiom...
-
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...