Constructing formal semantics from an ontological perspective. The case of second-order logics
Bibliographic Data
| ID | 10809983 |
|---|---|
| Authors | Thibaut Giraud (Institut Jean Nicod, corresponding author) |
| Year | 2014 |
| Volume | 191 |
| Issue | 10 |
| Pages | 2115-2145 |
| Publication date | 2014-07-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-013-0387-9 |
| OpenAlex | W2094768459 |
| Language | EN |
| References cited | 13 |
Conceptualization · Construct (python library) · Denotational semantics · Epistemology · Formal ontology · Formal semantics (linguistics) · Metaphysics · Nominalism · Ontology · Operational semantics · Philosophy of language · Programming language · Semantics (computer science) · Upper ontology · Well-founded semantics · Artificial Intelligence · Computer Science · Logic, Reasoning, and Knowledge · Philosophy · Philosophy and Theoretical Science · Semantic Web and Ontologies
| Highly cited | No |
|---|