Keyword

formal semantics

Description: The study of meaning using formal systems, including logical methods for analyzing natural language and computational representations.

Primary topic: Logic, programming, and type systems (23%)

Wikidata ID: wiki/Q5469969

OpenAlex ID: keywords/formal-semantics

A Calculus of Communicating Systems

1980 · Lecture notes in computer science · 4,664

Formal Semantics for Kolmogorov-Arnold Network Representations of Operational Games

2025 · Zhukov, Georgy Alexandrovich · Zenodo (CERN European Organization for Nuclear Research) · 3,216

A theory of type polymorphism in programming

1978 · Robin Milner · Journal of Computer and System Sciences · 2,211

The temporal logic of actions

1994 · Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1,855

Word Meaning and Montague Grammar.

1982 · Terence Parsons, David R. Dowty · The Philosophical Review · 1,805

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

2003 · M. Fox, D. Long · Journal of Artificial Intelligence Research · 1,739

PDF

A calculus of mobile processes, II

1992 · Robin Milner, Joachim Parrow, et al. · Information and Computation · 1,697

Constraint logic programming

1987 · J. Jaffar, J.-L. Lassez · ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · 1,612

Hedges: A Study in Meaning Criteria and the Logic of Fuzzy Concepts

1975 · George Lakoff · Springer eBooks · 1,560

Nominal Reference, Temporal Constitution and Quantification in Event Semantics

1989 · Manfred Krifka · De Gruyter eBooks · 1,349

A formal basis for architectural connection

1997 · Robert Allen, David Garlan · ACM Transactions on Software Engineering and Methodology · 1,254

A Theory of Communicating Sequential Processes

1984 · S. D. Brookes, C. A. R. Hoare, et al. · Journal of the ACM · 1,185

PDF

Alloy

2002 · Daniel Jackson · ACM Transactions on Software Engineering and Methodology · 1,181

Introduction to Montague Semantics

1980 · David R. Dowty, Robert E. Wall, et al. · Studies in linguistics and philosophy · 1,112

Formal methods in the study of language . Edited by J. A. G. Groenendijk, T. M. V. Janssen, and M. B. J. Stokhof. 2 vols. (Mathematical Centre tracts, 135–36.) Amsterdam: Mathematisch Centrum, 1981. Pp. v, 599. f 40.95, f 35.70.

1983 · Robin Cooper · Language · 1,080

A Theory of Objects

1996 · Martín Abadi, Luca Cardelli · Texts and monographs in computer science · 1,001

Mathematical structures of language

1968 · Zellig S. Harris · Medical Entomology and Zoology · 957

Philosophical Papers Volume I

1983 · David Lewis · 948

Context Dependence, Disagreement, and Predicates of Personal Taste*

2005 · Peter Lasersohn · Linguistics and Philosophy · 946

CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements

2004 · C. Boutilier, R. I. Brafman, et al. · Journal of Artificial Intelligence Research · 870

PDF

Language primitives and type discipline for structured communication-based programming

1998 · Kohei Honda, Vasco T. Vasconcelos, et al. · Lecture notes in computer science · 825

Design of a role-based trust-management framework

2005 · Ninghui Li, J.C. Mitchell, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 766

Formal philosophy: selected papers of Richard Montague. Edited and with an introduction by Richmond H. Thomason. New Haven: Yale University Press, 1974. Pp. 368. $12.50.

1977 · Robin Cooper · Language · 763

Logical form, its structure and derivation

1989 · Lingua · 761

Semantics and cognition

2016 · Giosuè Baggio, Keith Stenning, et al. · Cambridge University Press eBooks · 755

Works count: 17,030

Citation count: 223,400