<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-12-10 11:41:20Non-classical logic Philosophical logic Modal logic Rohit Jivanlal Parikh Fuzzy logic Temporal logic First-order logic Dynamic logic Proof theory Logic Mathematical logic Mathematics |
| Formale Systeme II: Theorie Dynamic Logic: Uninterpreted and Interpreted First Order DL SS 2016DocID: 1xUCJ - View Document |
| Formale Systeme II: Theorie Dynamic Logic: Propositional Dynamic Logic SS 2016DocID: 1xUzl - View Document |
| Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.DocID: 1v4jU - View Document |
| Technical Report no. 2004–08 Formalisation and Verification of JAVA CARD Security Properties in Dynamic LogicDocID: 1u7LF - View Document |
| Learning to Signal in a Dynamic World Dr J McKenzie Alexander Department Department of of Philosophy, Philosophy, LogicDocID: 1u2b7 - View Document |