La logica intencional es la extension mas importante de la lógica estandar (logica

proposicional y de predicados). Dicha extensión implica extender los sistemas lógicos

estandar de manera semantica.
Por ejemplo, en un lenguaje natural como el castellano si se transfiere la semantica de la
lógica de predicados a la semantica del castellano surge todo tipo de problemas por lo
cual se indica la necesidad de metodos semanticos mas ricos,

El significado es:

Relación entre símbolos de un lenguaje y ciertas entidades que son independiente de

ese lenguaje.

Dicha definición se comparte por muchas teorias del significado que las podemos
englobar en teorias correspondistas del significado .

Una de ellas es la teoria referenciaal del significado.

La semantica de logica estandar puede ser considerada como una teoria referencial del
significado.

Logica proposicional modal y logica proposicional temporal.

El conjunto de contextos (temporales y modales) que elijamos para trabajar dependera

en gran medida de lo que se suponga que signifique el operador O.

El cambio semantico se genera por la necesidad de una nocion de significado que

dependa del contexto, el cual los valores de verrdad sean relativos al contexto en el cual
se evalua la verdad de la proposicion. Significa la extensión de la semantica de la logica
de predicados que recibe valores absolutos de verdad solo en foprma relativa a algun
contexto.

Hay que tener en cuenta que los contextos que deben tomarse en cuenta a la hora de
evaluar una formula O& pueden depender no solamente de la interpretación que se
pretendar dar de O sino tambien del contexto particular en el que tiene lugar la
interpretación

Logica Modal.

La filosofia tiene sus propias modalidades tradicionales: es necesario que, es posible

que, es contingente que,.

Sintaxis y Semantica.

Los concetxtos son los mundos posibles (nocion que se remonta a Leibniz)
Tercera Conferencia Kripke.

Necesario no implica a priori