Search Results for author:
Found 3 papers, 0 papers with code
Reasoning about Intuitionistic Computation Tree Logic
In this paper, we define an intuitionistic version of Computation Tree Logic.
Logical Semantics, Dialogical Argumentation, and Textual Entailment
In this chapter, we introduce a new dialogical system for first order classical logic which is close to natural language argumentation, and we prove its completeness with respect to usual classical validity.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
