Truth and falsehood an inquiry into generalized logical values von Šramko, Jaroslav Vladyslavovyč 1963-, Wansing, Heinrich 1963-

DE-634
DE-473
DE-355
DE-20
URL des Erstveröffentlichers

A general possible worlds framework for reasoning about knowledge and belief von Wansing, Heinrich 1963-

Functional completeness for subsystems of intuitionistic propositional logic von Wansing, Heinrich 1963-

On the methodology of possible worlds semantics von Pearce, David A. 1952-, Wansing, Heinrich 1963-

On the methodology of possible worlds semantics von Pearce, David A. 1952-, Wansing, Heinrich 1963-

Dag Prawitz on proofs and meaning

Weitere Verfasser: “… Wansing, Heinrich 1963- …”
Inhaltsverzeichnis

New essays on Belnap-Dunn logic

Weitere Verfasser:

Towards mathematical philosophy papers from the Studia Logica Conference Trends in Logic IV

Weitere Verfasser: DE-634
DE-91
DE-384
DE-19
DE-703
DE-739
URL des Erstveröffentlichers