ResearchSpace
→
Browsing by Subject

Browsing by Subject "PTL"

Now showing items 1-4 of 4

On the entailment problem for a logic of typicality

Author: Booth, R ; Casini, G ; Meyer, T ; Varzinczak, I Date: Jul 2015 Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator. In spite of the non-monotonic features introduced by the semantics adopted for the typicality ... Read more
A propositional typicality logic for extending rational consequence

Author: Booth, R ; Meyer, T ; Varzinczak, I Date: Aug 2013 We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) ... Read more
PTL: A Propositional Typicality Logic

Author: Booth, R ; Meyer, T ; Varzinczak, I Date: Sep 2012 We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) ... Read more
What does entailment for PTL mean?

Author: Booth, R ; Casini, G ; Meyer, T ; Varzinczak, I Date: Mar 2015 We continue recent investigations into the problem of reasoning about typicality. We do so in the framework of Propositional Typicality Logic (PTL), which is obtained by enriching classical propositional logic with a typicality operator and ... Read more

Now showing items 1-4 of 4

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing by Subject "PTL"

Browsing by Subject "PTL"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect