Sciweavers

TARK
2005
Springer

99views Automated Reasoning» more TARK 2005»

First-order classical modal logic: applications in logics of knowledge and probability

14 years 5 months ago

The paper focuses on extending to the ﬁrst order case the semantical program for modalities ﬁrst introduced by Dana Scott and Richard Montague. We focus on the study of neighb...

Horacio L. Arló-Costa, Eric Pacuit

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers