Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Toward a realistic semantics of possible worlds for logics of belief

Autor
Sales, T.; Alvarado, M.
Tipus d'activitat
Document cientificotècnic
Data
1993-09
Codi
LSI-93-31-R
Repositori
http://hdl.handle.net/2117/97290 Obrir en finestra nova
Resum
This work sets out the main ideas concerning a semantics of possible worlds for epistemic logics which do not have the problem of logical omniscience and which can be used to model reasoning with limited resources. Within this semantic system, possible worlds are defined through a constructive process which is used to define a relation of accessibility between worlds, which is generally treated as a primitive notion. Furthermore, the concepts of logical omniscience and ideal reasoning, usually c...
Citació
Sales, T., Alvarado, M. "Toward a realistic semantics of possible worlds for logics of belief". 1993.
Paraules clau
Possible Worlds, Semantics, Epistemic Logics, Logical Omniscience, Local Reasoning
Grup de recerca
KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic

Participants

  • Sales Porta, Ton  (autor)
  • Alvarado Mentado, Matias  (autor)

Arxius