Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Simon Kramer
Map detail
Simon Kramer8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSimon KramerASimon KramerResearcherLogic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)WLogic of Non-Monotonic ...preprint / 2013Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)WParametric Constructive...preprint / 2012Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)WLogic of Negation-Compl...preprint / 2013A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality ProfilesWA Galois-Connection bet...preprint / 2014A Galois-Connection between Cattell's and Szondi's Personality ProfilesWA Galois-Connection bet...preprint / 2014Computer-Aided Discovery and Categorisation of Personality AxiomsWComputer-Aided Discover...preprint / 2014Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)WLogic of Intuitionistic...preprint / 2014
Person7 links

Simon Kramer

Researcher