Quantification in Autoepistemic Logic

Abstract

Quantification in modal logic is interesting from a technical and philosophical standpoint. Here we look at quantification in autoepistemic logic, which is a modal logic of self-knowledge. We propose several different semantics, all based on the idea that having beliefs about an individual amounts to having a belief using a certain type of name for the individual.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 06, 1991
Accession Number
ADA461025

Entities

People

  • Kurt Konolige

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • Classification
  • Contracts
  • Information Operations
  • Instructions
  • Monitoring
  • Security
  • Semantics
  • Standards

Fields of Study

  • Philosophy

Readers

  • Artificial Intelligence