Concept

Algebraic semantics

OpenAlex ID: C2779729104

The Origins of Telicity

1998 · Manfred Krifka · Studies in linguistics and philosophy · 953

Initial Algebra Semantics and Continuous Algebras

1977 · J. A. Goguen, J. W. Thatcher, et al. · Journal of the ACM · 801

PDF

Fundamental Properties of Infinite Trees

1982 · Bruno Courcelle · Springer eBooks · 413

A temporal calculus of communicating systems

2006 · Faron Moller, Chris Tofts · Springer eBooks · 372

Fundamental properties of infinite trees

1983 · Bruno Courcelle · Theoretical Computer Science · 365

The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference.

1959 · John Backus · IFIP Congress · 352

Algebraic semantics in language and philosophy

1997 · Godehard Link · 339

Completeness and Correspondence in the First and Second Order Semantics for Modal Logic

1975 · Henrik Sahlqvist · Studies in logic and the foundations of mathematics · 327

Algebraic Operations and Generic Effects

2003 · Gordon Plotkin, John Power · Applied Categorical Structures · 251

Algebraic Methods in Philosophical Logic

2001 · J Michael Dunn, Gary M Hardegree · 235

Algebraic Approaches to Program Semantics

1986 · Ernest G. Manes, Michael A. Arbib · Springer eBooks · 228

Operational and Algebraic Semantics of Concurrent Processes

1990 · Robin MILNER · Elsevier eBooks · 226

Algebraic semantics

1981 · Irène Guessarian · Lecture notes in computer science · 213

A General Algebraic Semantics for Sentential Logics

2017 · Josep Maria Font, Ramon Jansana · Cambridge University Press eBooks · 201

Algebraic semantics for modal logics II

1966 · E. J. Lemmon · Journal of Symbolic Logic · 197

Quantales, observational logic and process semantics

1993 · Samson Abramsky, Steven Vickers · Mathematical Structures in Computer Science · 193

The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

1998 · Joxan Jaffar, Michael Maher, et al. · The Journal of Logic Programming · 181

PDF

Algebraic Semantics of Imperative Programs

1996 · Joseph A. Goguen, Grant Malcolm · The MIT Press eBooks · 178

Reversing algebraic process calculi

2007 · Iain Phillips, Irek Ulidowski · The Journal of Logic and Algebraic Programming · 175

Partial abstract types

1982 · Manfred Broy, Martin Wirsing · Acta Informatica · 163

The rewriting logic semantics project

2006 · José Meseguer, Grigore Roşu · Theoretical Computer Science · 158

PDF

Mathematical modal logic: A view of its evolution

2003 · Robert Goldblatt · Journal of Applied Logic · 152

Belnap's Four-Valued Logic and De Morgan Lattices

1997 · J. M. Font · Logic Journal of IGPL · 147

Some algebraic problems in the context of functorial semantics of algebraic theories

1968 · F. William Lawvere · Lecture notes in mathematics · 143

6 Algebras and coalgebras

2007 · Yde Venema · Studies in logic and practical reasoning · 137

PDF

Works count: 1,902

Citation count: 19,010