Year: .*
2016
[22]Principia Metaphysica: Relational Type Theory in LeoPARD (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski, E. Zalta (Stanford))
[21]Principia Metaphysica: More Formalisation and Automation (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, E. Zalta (Stanford))
[20]Hewitt's Inconsistency Robustness: Implementation of Calculus & Prover based on Parametric Types (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, C. Hewitt (MIT/Stanford))
[19]Hewitt's Inconsistency Robustness / Provability Logic: Formalisation in Isabelle/HOL (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, C. Hewitt (MIT/Stanford))
[18]Embedding Approach and Direct Calculi: Soundness and Completeness (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski)
[17]Embedding Approach and Direct Calculi: Implementation and Automation (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski)
[16]Modal Logics in HOL: Embedding based on Algebraic Semantics (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, D. Scott (CMU/Berkeley))
[15]Formalisations/Experiments in Deontic Logic: Standard Deontic Logic versus semantically more challenging version (two worlds dependency) by Melissa Fusco (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller)
[14]Formalisation of parts of a paper of Wes Holliday (need to contact Wes again) (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller)
[13]Semantic Embeddings, Abstract Consistency and Completeness (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski)
[12]Free Logic in HOL: Application in Projective Geometry (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, D. Scott (CMU/Berkeley))
[11]Automating Direct Calculi on Top of the Embedding Approach, Soundness for Free (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski)
[10]Analysis of I/O Logic and Deontic Logic and the Correspondences in Isabelle/HOL (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski)
[9]Multimodal Logics via Semantic Embeddings: Fusions, Fibrings, etc. (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski)
[8]Multimodal Logics via Semantic Embeddings: Applications and Experiments (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski)
[7]Probalistic Logic as Modal Logics: Probalities as Accessibility Relations (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski)
[6]Automated Exploration of Correspondence Properties, Inclusion and Exclusion Relations and alike in Conditional Logics (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski)
[5]Analysis of Hilbert Calculi in Isabelle/HOL via Semantics Embeddings Approach (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, A. Steen, M. Wisniewski)
[4]An Infrastructure for Higher-Order (Non-Classical) Montague Semantics (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller)
[3]Bridge between RuleML and ModalTPTP: Applications and Experiments (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, H. Boley)
[2]Paradoxes in Deontic Logic: Coherent Picture wrt Local and Global Assumptions? (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller)
[1]Free Logic in HOL: Application in Category Theory (Your Name), FU Berlin, 2016. (Supervisor: C. Benzmüller, D. Scott (CMU/Berkeley))
Powered by bibtexbrowser