(also: **Luis
Manuel Augusto**; **Luis M. S. Augusto**)

Founder and
Editor-in-chief of

·
**Journal of Knowledge Structures &
Systems**

·
**Ω ::= Journal of Formal Languages**

**Researcher ORCID ID**: https://orcid.org/0000-0001-9097-5722

Independent scientist

Current location: Madrid, Spain

__Highest academic qualifications__

M.Sc.
in Computational Mathematics – Universidade Aberta

M.A.
in Philosophy – University of Paris

Ph.D.
in Philosophy – University of Paris

__Further institutions & activities __

University
of Sussex (post-doctorate)

University
of Barcelona (visiting researcher)

Etc.

**Areas of
expertise & research interests**

I am a
computational mathematician working in formal languages. I focus on formal
systems that generate undecidable languages or code (e.g., van Wijngaarden grammars, Thue-systems,
Post-systems, some logical systems). I am currently working in van Wijngaarden grammars:

Augusto, L. M. (2023). Two-level
grammars: Some interesting properties of van Wijngaarden
grammars. *Omega – Journal of Formal
Languages*, *1*, 3-34.

Augusto, L. M. (2023). The
van Wijngaarden grammars: A syntax primer with
decidable restrictions. *Journal of
Knowledge Structures & Systems*, *4*(2),
1-39.

Augusto, L. M. (forthcoming; 2024). Little ado about meaning: The intrinsic
semantics of van Wijngaarden grammars. *Omega – Journal of Formal Languages*, *2*.

I also work
in formal philosophy and cognitive science.

**Publications**** **

List
of publications and links thereto.

Books:

**Computational logic**

**Vol. 1: Classical deductive
computing with classical logic**

**3rd edition**

London: College Publications. 01.2022

ISBN: 978-1-84890-280-0

574 pages. In the Computing (Blue)
series.

Table of contents, Preface,
&c. here

**Languages, machines, and
classical computation**

**3rd edition**

London: College Publications. 10.2021.

ISBN: 978-1-84890-300-5

326 pages. In the Computing (Blue)
series.** **

Table of contents, Preface,
&c.: here

Citations
of this book

Addenda
& Errata for 2nd edition (2020)

**Logical Consequences**

**Theory and applications: An
introduction**

**2nd edition**

London: College Publications. 06.2020.

ISBN: 978-1-84890-236-7

270 pages. In the Studies in Logic
Yellow Series: Mathematical Logic and Foundations.

Table of Contents, Preface,
&c. here

Citations of this book

Addenda & errata (1st edition)

**Many-Valued Logics**

**A mathematical and
computational introduction**

**2nd edition**

London: College Publications. 06.2020.

ISBN: 978-1-84890-250-3

382 pages. In the Studies in Logic (Red)
Series.

Table of contents, Preface,
&c.: here

Citations of this book

**Formal logic:
Classical problems and proofs**

**2nd printing (06.2020)**

London: College Publications.
09.2019

ISBN: 978-1-84890-317-3

426 pages. In the Logic (Red) Series.

Table of contents, Preface, &c.: here

Addenda
& Errata (1st printing)

**Freud, Jung, Lacan**

**Sobre o inconsciente**

Oporto: University of Oporto (U.Porto
editorial). 2013.

ISBN: 978-989-746-029-6

340 pages

Table of contents, Preface,
&c.: FJL_inconsciente; Errata (1a ed.)

Citations
of this book

**Who’s
Afraid of Idealism?*** *

**Epistemological
Idealism from the Kantian and Nietzschean Points of
View**

Lanham, MD: University Press of America. 2005.

ISBN: 0-7618-3297-1

168 pages. 3rd printing

Table of contents, Preface,
&c.: here

**Ongoing
stuff**

·
I am working on van Wijngaarden grammars. (See above.)

·
In the quest for
decidability, I am researching into automata and infinite games, namely in
association with monadic second-order logic, temporal logics, many-valued
logics, etc. This will be the main subject of the second volume of *Computational logic *(Volume 1 is already
published in College
Publications, London).

·
In (slow) progress, and
related to the above projects: *Logic in
knowledge representation and reasoning: Central topics via readings*
and Knowledge & Logic.

·
I am working
together with Farshad Badie
(Research Group Natural and Formal Languages, Aalborg University) on symbolic
AI based on shared conceptualization. **Published papers: **Augusto & Badie (2022),** **Badie
& Augusto (2022), Badie & Augusto (2023)

__Conferences,
talks, etc.__

To be announced

**Contact**

luis.ml.augusto(AT)gmail(DOT)com