PP-2011-25: Logic between Expressivity and Complexity

PP-2011-25: van Benthem, Johan (2011) Logic between Expressivity and Complexity. [Report]

[img]
Preview
Text (Full Text)
PP-2011-25.text.pdf

Download (93kB) | Preview
[img] Text (Abstract)
PP-2011-25.abstract.txt

Download (468B)

Abstract

Automated deduction is not just application or implementation of logical systems. The field of computational logic also poses deep challenges to our understanding of logic itself. I will discuss some key issues. This text is just an appetizer that will be elaborated in the lecture.

Item Type: Report
Report Nr: PP-2011-25
Series Name: Prepublication (PP) Series
Year: 2011
Uncontrolled Keywords: modal logic, dynamic logic, expressive power, complexity, bisimulation, fragments, computational logic
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/429

Actions (login required)

View Item View Item