Browsing by Author

Showing results 1 to 2 of 2
PreviewAuthors / EditorsTitleTypeIssue Date
Schloegl Thomas - 2020 - An Extension framework for epistemic reasoning in...pdf.jpgSchlögl, Thomas An Extension framework for epistemic reasoning in Byzantine distributed systemsThesis Hochschulschrift 2020
Borg Annemarie - 2015 - Realizing negative introspection into justification...pdf.jpgBorg, Annemarie Realizing negative introspection into justification logic : proof-theoretic approachThesis Hochschulschrift 2015