PP-2011-25: Logic between Expressivity and Complexity

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

Text (Full Text)

Download (93kB) | Preview
[img] Text (Abstract)

Download (468B)


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