Why Bother With Syntax?

06/17/2015
by   Joseph Y. Halpern, et al.
0

This short note discusses the role of syntax vs. semantics and the interplay between logic, philosophy, and language in computer science and game theory.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/07/2018

Mathematical Logic in Computer Science

The article retraces major events and milestones in the mutual influence...
research
09/11/2016

Divide and...conquer? On the limits of algorithmic approaches to syntactic semantic structure

In computer science, divide and conquer (D&C) is an algorithm design par...
research
01/14/2020

The geometry of syntax and semantics for directed file transformations

We introduce a conceptual framework that associates syntax and semantics...
research
05/26/2022

GNOLL: Efficient Software for Real-World Dice Notation and Extensions

GNOLL ("GNOLL's Not *OLL") is a software library for dice notation. Unli...
research
08/04/2020

Exploiting Game Theory for Analysing Justifications

Justification theory is a unifying semantic framework. While it has its ...
research
07/19/2021

Code and Structure Editing for Teaching: A Case Study in using Bibliometrics to Guide Computer Science Research

Structure or projectional editors are a well-studied concept among resea...
research
01/02/2023

Nominal Recursors as Epi-Recursors

We study nominal recursors from the literature on syntax with bindings a...

Please sign up or login with your details

Forgot password? Click here to reset