Nina Gierasimczuk
Dados Biográficos
| ID | 5996987 |
|---|---|
| NOME | Nina Gierasimczuk |
| PRENOMES | Nina |
| SOBRENOME | Gierasimczuk |
| ASSINATURA | GIERASIMCZUK N |
| AFILIAÇÕES | University of Amsterdam |
| ORCID | 0000-0001-5081-4676 |
| VERIFICADO | Sim |
| TOTAL DE OBRAS | 2 |
| TOTAL DE CITAÇÕES | 0 |
| TOTAL COMO AUTOR | 2 |
| TOTAL COMO EDITOR | 0 |
| PRIMEIRO ANO DE PUBLICAÇÃO | 2009 |
| ANO MAIS RECENTE DE PUBLICAÇÃO | 2009 |
| ÍNDICE H | 0 |
Branching Quantification v. Two-way Quantification
We discuss the thesis formulated by Hintikka (1973) that certain natural language sentences require non-linear quantification to express their meaning. We investigate sentences with combinations of quantifiers similar to Hintikka’s examples and propose a novel alternative reading expressible by linear formulae. This interpretation is based on linguistic and logical observations. We report on our experiments showing that people tend to interpret s…
Bridging learning theory and dynamic epistemic logic
This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit. First, we analyze a variety of epistemological notions involved in identification in the limit and match it with traditional epistemic and doxastic logic approaches. Then, we provide a comparison o…
Sem obras proeminentes nesta página.
Branching Quantification v. Two-way Quantification
We discuss the thesis formulated by Hintikka (1973) that certain natural language sentences require non-linear quantification to express their meaning. We investigate sentences with combinations of quantifiers similar to Hintikka’s examples and propose a novel alternative reading expressible by linear formulae. This interpretation is based on linguistic and logical observations. We report on our experiments showing that people tend to interpret s…
Bridging learning theory and dynamic epistemic logic
This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit. First, we analyze a variety of epistemological notions involved in identification in the limit and match it with traditional epistemic and doxastic logic approaches. Then, we provide a comparison o…
Computer Science (2 obras) · Logic, Reasoning, and Knowledge (2 obras) · Artificial Intelligence (1 obras) · Artificial Intelligence (1 obras) · Branching (polymer chemistry) (1 obras) · Chemistry (1 obras) · Classics (1 obras) · Computability, Logic, AI Algorithms (1 obras) · Description logic (1 obras) · Doxastic logic (1 obras)