Inquiry, refutations and the inconsistent

C Başkent - Perspectives on Interrogative Models of Inquiry …, 2016 - Springer
Inquiry, Refutations and the Inconsistent | SpringerLink Skip to main content Advertisement
SpringerLink Account Menu Find a journal Publish with us Track your research Search Cart …

Towards paraconsistent inquiry

C Baskent - The Australasian Journal of Logic, 2016 - ojs.victoria.ac.nz
In this paper, we discuss Hintikka's theory of interrogative approach to inquiry with a focus
on bracketing. First, we dispute the use of bracketing in the interrogative model of inquiry …

A History Based Logic for Dynamic Preference Updates

C Başkent, G McCusker - Journal of Logic, Language and Information, 2020 - Springer
History based models suggest a process-based approach to epistemic and temporal
reasoning. In this work, we introduce preferences to history based models. Motivated by …

[PDF][PDF] A Survey of Dynamic Logics

C Baskent - canbaskent.net
Dynamic logic has created a paradigm shift in logic. In this work, we provide a survey of
some major dynamic logics: propositional dynamic logic, game logic, dynamic epistemic …