Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34

Tipsa en vän
Utskriftsversion

Matematisk logik - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Hitta forskaren!

Välj ämne och hitta forskare och publikationer i vår forskningsdatabas.

Matematisk logik

Del av forskningsområdet Algebra och logik

Senaste publikationer

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science, Springer, Paper i proceeding 2019
Paper i proceeding

A Logic with Measurable Spaces for Natural Language Semantics
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation,16-20 September 2019., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Axiomatic Theories of Truth
Volker Halbach, Graham E. Leigh
Stanford Encyclopedia of Philosophy, Bidrag till encyklopedi 2018
Bidrag till encyklopedi

Iterated ultrapowers for the masses
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for mathematical logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2018
Rapport

Invariance and Definability, with and without Equality
Dennis Bonnay, Fredrik Engström
Notre Dame Journal of Formal Logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Largest initial segments pointwise fixed by automorphisms of models of set theory
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for Mathematical Logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland, Association for Computing Machinery (ACM), Paper i proceeding 2017
Paper i proceeding

Feferman's Forays into the Foundations of Category Theory
Ali Enayat, Paul Kindvall Gorbow, Zachiri McKenzie
Feferman on Foundations / Jaeger, Gerhard, Sieg, Wilfried (Eds.) , Cham, Springer International Publishing, Kapitel i bok 2017
Kapitel i bok

Essens, att sammanfalla och karaktärisering
Paul Kindvall Gorbow
Filosofisk Tidskrift, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 10

Namn Titel Organisation
Afshari, Bahareh Forskarassistent Datavetenskap (CS)
Bernardy, Jean-Philippe Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Blanck, Rasmus Postdoktor Avdelningen för lingvistik, logik och vetenskapsteori
Coquand, Thierry Professor Datavetenskap (CS)
Enayat, Ali Professor Avdelningen för lingvistik, logik och vetenskapsteori
Engström, Fredrik Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Kaså, Martin Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Kindvall Gorbow, Paul Postdoktor Avdelningen för lingvistik, logik och vetenskapsteori
Leigh, Graham Forskare Avdelningen för lingvistik, logik och vetenskapsteori

Visar 1 - 10 av 10

Visar 1 - 10 av 83

2019

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science, Springer, Paper i proceeding 2019
Paper i proceeding

A Logic with Measurable Spaces for Natural Language Semantics
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation,16-20 September 2019., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2018

Axiomatic Theories of Truth
Volker Halbach, Graham E. Leigh
Stanford Encyclopedia of Philosophy, Bidrag till encyklopedi 2018
Bidrag till encyklopedi

Iterated ultrapowers for the masses
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for mathematical logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2018
Rapport

Invariance and Definability, with and without Equality
Dennis Bonnay, Fredrik Engström
Notre Dame Journal of Formal Logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Largest initial segments pointwise fixed by automorphisms of models of set theory
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for Mathematical Logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

2017

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland, Association for Computing Machinery (ACM), Paper i proceeding 2017
Paper i proceeding

Feferman's Forays into the Foundations of Category Theory
Ali Enayat, Paul Kindvall Gorbow, Zachiri McKenzie
Feferman on Foundations / Jaeger, Gerhard, Sieg, Wilfried (Eds.) , Cham, Springer International Publishing, Kapitel i bok 2017
Kapitel i bok

Essens, att sammanfalla och karaktärisering
Paul Kindvall Gorbow
Filosofisk Tidskrift, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 83

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2013-08-15
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?