Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1507.08717
Cited By
Systematic Verification of the Modal Logic Cube in Isabelle/HOL
31 July 2015
Christoph Benzmüller
Maximilian Claus
Nikolai Sultana
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Systematic Verification of the Modal Logic Cube in Isabelle/HOL"
1 / 1 papers shown
Title
Computer Science and Metaphysics: A Cross-Fertilization
Open Philosophy (OP), 2019
Daniel Kirchner
Christoph Benzmüller
E. Zalta
AI4CE
74
21
0
01 May 2019
1
