[DL] Institution-independent Model Theory by R.Diaconescu, LUWebinar, March 12 - 16h CET

[jean-yves beziau]

Logica Universalis Webinar 2025 - March 12, 2025 - 4pm CET
https://link.springer.com/journal/11787/updates/27731708

Speaker: Răzvan Diaconescu
Simion Stoilow Institute of Mathematics of the Romanian Academy
Presenting the 2nd edition of the book  "Institution-independent Model
Theory"
A model theory that is independent of any concrete logical system allows a
general handling of a large variety of logics. This generality can be
achieved by applying the theory of institutions that provides a precise
general mathematical formulation for the intuitive concept of a logical
system. Especially in computer science, where the development of a huge
number of specification logics is observable, institution-independent model
theory simplifies and sometimes even enables a concise model-theoretic
analysis of the system. Besides incorporating important methods and
concepts from conventional model theory, the proposed axiomatic top-down
methodology allows for a structurally clean understanding of
model-theoretic phenomena. Consequently, results from conventional concrete
model theory can be understood more easily, and sometimes even new results
are obtained. Moreover, all this is also applied to non-classical model
theories.
This second edition introduces some novelties in the presentation style
which aim to enhance the readability of the material and the proofs.
Additional chapters have also been added.
https://www.springer.com/series/7391

Associate Organization:  Hellenic-Romanian Logic and Computation Seminar
http://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.html
presented by its organizer Petros Stefanas
National Technical University of Athens, Greece

Chair: Francesco Paoli
Editorial Board SUL (Studies in Universal Logic)

Everybody is welcome to join, register here:
https://cassyni.com/events/MbFm8MerHKAn5dd8XfRTTK

Jean-Yves Beziau
Editor-in-Chief Logica Universalis
Organizer of the Logica Universalis Webinar - LUW
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20250311/200281da/attachment.htm>