Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
RTD-Indian
 
Project Title (de) Projekttitel (de)
Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts
 
Project Title (en) Projekttitel (en)
Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
MA16-028
 

Publications

Filter:
Subject:  Belief revision

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Girlando, Marianna ; Lellmann, Björn ; Olivetti, Nicola Nested Sequents for the Logic of Conditional BeliefKonferenzbeitrag Inproceedings 2019