Languages
Baltag, Alexandru.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Logic, rationality, and interaction = 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings /
by:
LORI (Workshop) (2017 :); Baltag, Alexandru.; Seligman, Jeremy.; Yamada, Tomoyuki.; SpringerLink (Online service)
(Electronic resources)
Johan van Benthem on logic and information dynamics
by:
Baltag, Alexandru.; Smets, Sonja.; SpringerLink (Online service)
(Electronic resources)
Dynamic logic = new trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
DaLi (Internaional Workshop) (2019 :); Soares Barbosa, Luis.; Baltag, Alexandru.; 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.