Projekty finansowane przez NCN
Reprezentacje semantyk algebraicznych dla logik podstrukturalnych
2022/47/I/HS1/02051
Słowa kluczowe:
logiki podstrukturalne struktury z rezyduacją semantyka algebraiczna reprezentacje algebr
Deskryptory:
- HS1_004: Logika, metodologia nauk, filozofia nauki
- ST1_001: Logika i podstawy matematyki
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Jagielloński, Wydział Filozoficzny
woj. małopolskie
Kierownik projektu (z jednostki realizującej):
prof. Tomasz Stanisław Kowalski
Liczba wykonawców projektu: 2
Konkurs: OPUS 24 (LAP) - ogłoszony 2022-07-15
Przyznana kwota: 522 146 PLN
Rozpoczęcie projektu: 2023-09-01
Zakończenie projektu: 2026-09-27
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (2)
- A modular bisimulation characterisation for fragments of hybrid logicAutorzy:G. Badia, D. Gaina, A. Knapp, T. Kowalski, M. WirsingCzasopismo:Bulletin of Symbolic Logic (rok: 2025, tom: 31, strony: 590-618), Wydawca: Cambridge University PressStatus:OpublikowanaDoi:10.1017/bsl.2025.9 - link do publikacji
- Hybrid-dynamic Ehrehnfeucht-Fraisse gamesAutorzy:G. Badia, D. Gaina, A. Knapp, T. Kowalski, M. WirsingCzasopismo:ACM Transactions on Computational Logic (rok: 2025, tom: 26, strony: 46048), Wydawca: Association for Computing MachineryStatus:OpublikowanaDoi:10.1145/3750046 - link do publikacji