Finding:

1. close

   Semantics

   Further related fields include philology, communication, and semiotics. ... Traditionally, semantics has included the study of sense and denotative reference, truth conditions, argument structure, thematic roles, discourse analysis, and the linkage of all of these to syntax.
2. close

   Operational semantics

   In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics.
3. close

   Formal semantics of programming languages

   In theoretical computer science, formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. ... Some variations of formal semantics include the following:
4. close

   Denotational semantics

   In computer science, denotational semantics is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations) which describe the meanings of expressions from the languages. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and operational semantics.
5. close

   Alfred Korzybski

   He is most remembered for developing the theory of general semantics. ... The basic principles of general semantics, which include time-binding, are outlined in Science and Sanity, published in 1933.
6. close

   General semantics

   General semantics is a non-Aristotelian educational discipline created by Alfred Korzybski (1879–1950) during the years 1919 to 1933. ... Notables among its alumni include Gene Siskel, Senator Dianne Feinstein, and Congressman Jerry Lewis.)
7. close

   Computability logic

   Those include constructive applied theories, knowledge base systems, systems for planning and action. ... G. Japaridze, In the beginning was game semantics.
8. close

   Frame semantics

   Frame semantics can refer to: Kripke semantics - semantics for modal logics
9. close

   Glue Semantics

   Glue Semantics, or simply Glue (Dalrymple et al. 1993; Dalrymple 1999, 2001) is a linguistic theory of semantic composition and the syntax-semantics interface which assumes that meaning composition is constrained by a set of instructions stated within a formal logic, Linear logic. ... Semantic formalisms that have been used as the meaning languages in Glue Semantics analyses include versions of Discourse Representation Theory, Intensional logic, First-order logic, and Natural semantic metalanguage.
10. close

    Kripke semantics

    Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke, beginning when he was a teenager. It was first made for modal logics, and later adapted to intuitionistic logic and other non-classical systems.

Explore the following pages on Powerset:

• Semantics,
• Operational semantics,
• Formal semantics of programming languages,
• Denotational semantics,
• Alfred Korzybski,
• General semantics,
• Computability logic,
• Frame semantics,
• Glue Semantics,
• Kripke semantics

Try this on Bing Research

Bing