13 citations · 20 across the 4 of their papers we have counts for
4 papers
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle
Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn
We describe a natural deduction formalization of intuitionistic and classical propositional logic in the Isabelle/Pure framework. In contrast to earlier work, where we explored the…
A recipe for annotating grounded clarifications
Luciana Benotti, Patrick Blackburn
In order to interpret the communicative intents of an utterance, it needs to be grounded in something that is outside of language; that is, grounded in world modalities. In this pa…
Isabelle/HOL as a Meta-Language for Teaching Logic
Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn
Proof assistants are important tools for teaching logic. We support this claim by discussing three formalizations in Isabelle/HOL used in a recent course on automated reasoning. Th…
Generating models for temporal representations
Patrick Blackburn, Sébastien Hinderer
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we wi…