| Detalji |
| Šifra: |
0120047 |
| Projekt: |
Matematička logika i primjene |
| Područje: |
Prirodne znanosti |
Prosudbena
skupina: |
Matematika |
| Glavni
istraživač: |
Zvonimir Šikić |
| Ustanova: |
Fakultet strojarstva i brodogradnje, Zagreb |
| Ključne
riječi: |
logika interpretabilnosti, generalizirani Veltmanovi modeli, semantika modalnih logika, bisimulacija, Goedelovi teoremi o nepotpunosti, mehaničko rasuđivanje, predikat istinitosti |
| URL: |
|
| E-pošta: |
zsikic@math.hr |
| Telefon: |
098237687 |
| Suradnici: |
| Mladen Vuković |
Istraživač |
| Boris Čulina |
Istraživač |
| Darko Biljaković |
Istraživač |
| ALEKSANDAR HADŽI-VELJKOVIĆ |
Znanstveni novak |
| VEDRAN ČAČIĆ |
Znanstveni novak |
|
Znanstvena
bibliografija: |
http://bib.irb.hr/lista-radova?sif_proj=0120047 |
| English |
| Project Title: |
|
| Area: |
Natural sciences |
| Peer review group: |
Mathematics |
| Institution: |
The Faculty of Mechanical Engineering and Naval Architecture, Zagreb |
| Keywords: |
|
