Logic families

Autor: Andréka, H., Gyenis, Z., Németi, I., Sain, I.

A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, institution theory and in algebraic logic. Logic families play a role i

Externí odkaz: http://arxiv.org/abs/2311.00759

On the search for a finitizable algebraization of first order logic.

Autor: Sain, I¹

Publikováno v: Logic Journal of the IGPL. 2000, Vol. 8 Issue 4, p497-591. 95p.

Changing a Semantics: Opportunism or Courage?

Autor: Andréka, H., van Benthem, J., Bezhanishvili, N., Németi, I., Manzano, M, Sain, I., Alonso, E.

Publikováno v: Studies in Universal Logic ISBN: 9783319097183
The life and work of Leon Henkin: essays on his contributions, 307-337
STARTPAGE=307;ENDPAGE=337;TITLE=The life and work of Leon Henkin

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps eve

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0550523e1e451b3aa9a23ef97956e0e
https://doi.org/10.1007/978-3-319-09719-0_20

Effective Temporal Logic of Programs

Autor: Andreka, H., Goranko, V., Mikulas, S., Nemeti, I., Sain, I., Szalas, A., Bolc, E.

Publikováno v: Time and Logic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::1338eed2e61fd1aaab468444ee15bc85
https://dare.uva.nl/personal/pure/en/publications/effective-temporal-logic-of-programs(4bc6693b-e50c-4353-ad38-4b5170b97fc6).html

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.