9 citations
- California Institute of TechnologyUS2 papers
- University of St AndrewsGB2 papers
- Andrews UniversityUS1 paper
- Astronomical Institute of the Slovak Academy of SciencesSK1 paper
- Berkeley CollegeUS1 paper
- Cardiff UniversityGB1 paper
- Carnegie ObservatoriesUS1 paper
- CFA InstituteUS1 paper
- Institut de Planétologie et d'Astrophysique de GrenobleFR1 paper
- Liverpool John Moores UniversityGB1 paper
- Netherlands Institute for Radio AstronomyNL1 paper
- Phillips Exeter AcademyUS1 paper
Showing 2009Show all
2 papers · 1 filter
cs.LO2009
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
Mehrnoosh Sadrzadeh, Roy Dyckhoff
We consider a simple modal logic whose non-modal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure oper…
astro-ph.CO2009★ 7 cited
Strong Gravitational Lensing as a Probe of Gravity, Dark-Matter and Super-Massive Black Holes
L. V. E. Koopmans, M. Auger, M. Barnabe +26
Whereas considerable effort has been afforded in understanding the properties of galaxies, a full physical picture, connecting their baryonic and dark-matter content, super-massive…