Properties (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosopher
logician |
| gptkbp:birthPlace |
gptkb:Amsterdam
|
| gptkbp:field |
logic
philosophy |
| gptkbp:hasPublications |
Modal Logic for Open Minds
The Logic of Time Logic in Action From Logic to Practice Exploring_Logical_Dynamics |
| https://www.w3.org/2000/01/rdf-schema#label |
Johan van Benthem
|
| gptkbp:influencedBy |
gptkb:Gottlob_Frege
Kurt Gödel Alfred Tarski |
| gptkbp:knownFor |
modal logic
philosophical logic |
| gptkbp:nationality |
Dutch
|
| gptkbp:worksAt |
gptkb:University_of_Amsterdam
|