Languages
Baltag, Alexandru.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Dynamic logicnew trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(1998 :); Baltag, Alexandru.; Soares Barbosa, Luis.; SpringerLink (Online service)
(Electronic resources)
Logic, rationality, and interaction6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings /
by:
(1998 :); Baltag, Alexandru.; Seligman, Jeremy.; SpringerLink (Online service); Yamada, Tomoyuki.
(Electronic resources)
Johan van Benthem on logic and information dynamics
by:
Baltag, Alexandru.; Smets, Sonja.; SpringerLink (Online service)
(Electronic resources)
Subjects
Logic.
Philosophy.
Mathematical Logic and Foundations.
Artificial intelligence
Mathematical Logic and Formal Languages.
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Logic in AI.
Logic
Logic Design.
Computer logic
Special Purpose and Application-Based Systems.
Programming Languages, Compilers, Interpreters.
Dynamics.
Computer Science.
Computer System Implementation.