Passar para o conteúdo principal

Lógica

(Bounded) Model Checking Distributed Temporal Logic

Mathematical Logic Seminar, por Jaime Ramos (IST - Universidade de Lisboa).

Ler mais acerca de (Bounded) Model Checking Distributed Temporal Logic

Determinacy and Infinite Games

Mathematical Logic Seminar, por Niko Gruben (Universidade de Lisboa).

Ler mais acerca de Determinacy and Infinite Games

Peano Arithmetic minus and Robinson's Arithmetic Siblings, so alike but so different

Mathematical Logic Seminar, por Albert Visser (Utrecht University).

Ler mais acerca de Peano Arithmetic minus and Robinson's Arithmetic Siblings, so alike but so different

The power of the power set axiom

Mathematical Logic Seminar, por António Marques Fernandes (Instituto Superior Técnico - Universidade de Lisboa).

Ler mais acerca de The power of the power set axiom

A Graph Calculus for Combinatory Intensional Logic

Mathematical Logic Seminar, por Clarence Protin (Universidade Aberta).

Ler mais acerca de A Graph Calculus for Combinatory Intensional Logic

On the proof theory of modal logics

Mathematical Logic Seminar, por Maria Osório Costa (CMAFcIO, Faculdade de Ciências da Universidade de Lisboa).

Ler mais acerca de On the proof theory of modal logics

Reasoning about Choreographic Programs

Mathematical Logic Seminar, por Luís Cruz-Filipe (University of Southern Denmark).

Ler mais acerca de Reasoning about Choreographic Programs

Towards New Characterizations of Parallel Complexity Classes

Mathematical Logic Seminar, por Melissa Antonelli (University of Helsinki).

Ler mais acerca de Towards New Characterizations of Parallel Complexity Classes

Arithmetics within the Linear Time Hierarchy

Mathematical Logic Seminar, por Chris Pollett (San Jose State University).

Ler mais acerca de Arithmetics within the Linear Time Hierarchy

A manifesto for multiple-conclusions in logic

Mathematical Logic Seminar, por Carlos Caleiro (Instituto Superior Técnico).

Ler mais acerca de A manifesto for multiple-conclusions in logic

Páginas