Szukaj

Wyniki wyszukiwania

• All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument

  Frode Alfson Bjørdal

  329-350

  04.09.2017
• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  10.06.2019
• A Classical Logic of Existence and Essence

  Sergio Galvan, Alessandro Giordani

  541-570

  12.06.2020
• From BDI and stit to bdi-stit logic

  Caroline Semmling, Heinrich Wansing

  185-207

  19.06.2008
• Topology of Modal Propositions Depicted by Peirce’s Gamma Graphs: Line, Square, Cube, and Four-Dimensional Polyhedron

  Jorge Alejandro Flórez

  457-470

  30.11.2021
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  18.09.2013