Date: 2014-05-09 08:16:43Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator | | Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordiAdd to Reading ListSource URL: ifomis.uni-saarland.deDownload Document from Source Website File Size: 221,10 KBShare Document on Facebook
|