Back to Results
First PageMeta Content
Standard translation / Belief revision / First-order logic / Accessibility relation / Interpretation / Modal operator / Modal companion / Kripke semantics / Logic / Mathematical logic / Modal logic


Belief contraction through safe formulas Viktoriia Kozyreva Ufa State Aviation Technical University Ufa, Russia Center for Artificial Intelligence (CENTRIA), New University of Lisbon,
Add to Reading List

Document Date: 2012-07-09 04:55:23

Open Document

File Size: 493,19 KB

Share Result on Facebook

City

Berlin / Hamburg / Ufa / /

Company

6W / /

Country

Portugal / Germany / /

Currency

USD / /

/

Facility

New University of Lisbon / Max Planck Institute / Viktoriia Kozyreva Ufa State Aviation Technical University / /

IndustryTerm

revision operator / /

NaturalFeature

Norwegian Fjords / /

Organization

Viktoriia Kozyreva Ufa State Aviation Technical University Ufa / Russia Center / Max Planck Institute for Human Development / Gregory Wheeler Center / New University of Lisbon / /

Position

Harper / correspondent / /

Technology

simulation / /

SocialTag