Researcher profile

Martin Berger

Martin Berger contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Logic in Computer Science physics.ins-det hep-ex Programming Languages

Trust snapshot

Quick read

Trust 17 - Baseline

4works

0followers

4topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2014arXiv

Cathoristic logic: A modal logic of incompatible propositions

Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of the logic including complete proof rules, and establish a number of results such as compactness, a semantic characterisation of elementary equivalence, the existence of a quadratic-time decision procedure, and Brandom's incompatibility semantics property. We demonstrate the usefulness of the logic as a language for knowledge representation.

preprint2009arXiv

Development of a GEM-TPC prototype

The use of GEM foils for the amplification stage of a TPC instead of a con- ventional MWPC allows one to bypass the necessity of gating, as the backdrift is suppressed thanks to the asymmetric field configuration. This way, a novel continuously running TPC, which represents one option for the PANDA central tracker, can be realized. A medium sized prototype with a diameter of 300 mm and a length of 600 mm will be tested inside the FOPI spectrometer at GSI using a carbon or lithium beam at intermediate energies (E = 1-3AGeV). This detector test under realistic experimental conditions should allow us to verify the spatial resolution for single tracks and the reconstruction capability for displaced vertexes. A series of physics measurement implying pion beams is scheduled with the FOPI spectrometer together with the GEM-TPC as well.

preprint2009arXiv

Si$Λ$ViO: A Trigger for $Λ$-Particles

The production of bound kaon-nucleon-states (kaonic-cluster) in the reaction $p+p\to [ppK^{-}] + K^{+}$ should be investigated in a dedicated measurement at the FOPI detector system at the SIS-accelerator of GSI, by looking for the decay $ppK^{-} \to p + Λ\to p + p + π^{-}$. To select the final states, the detector system Si$Λ$ViO has been build up as a trigger for $Λ$-Hyperons. This detector consists of two layers of segmented silicon-strip-detectors, which are able to measure online the particle multiplicity. These two layers are arranged such, that most of the $Λ$-Hyperons will decay between them. The trigger signal is generated by comparing online the hit multiplicity on the two layers.

preprint2008arXiv

Logical Reasoning for Higher-Order Functions with Local State

We introduce an extension of Hoare logic for call-by-value higher-order functions with ML-like local reference generation. Local references may be generated dynamically and exported outside their scope, may store higher-order functions and may be used to construct complex mutable data structures. This primitive is captured logically using a predicate asserting reachability of a reference name from a possibly higher-order datum and quantifiers over hidden references. We explore the logic's descriptive and reasoning power with non-trivial programming examples combining higher-order procedures and dynamically generated local state. Axioms for reachability and local invariant play a central role for reasoning about the examples.