Topics in modal quantification theory

The modal logic S5 gives us a simple technical tool to analyze some main notions from philosophy (e.g. metaphysical necessity and epistemological concepts such as knowledge and belief). Although S5 can be axiomatized by some simple rules, this logic shows some puzzling properties. For example, an in...

Full description

Bibliographic Details
Main Author: Salvatore, Felipe de Souza
Other Authors: Silva, Rodrigo Bacellar da Costa e
Format: Others
Language:en
Published: Biblioteca Digitais de Teses e Dissertações da USP 2015
Subjects:
Online Access:http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/