Publicaties
Gekozen filters:
Gekozen filters:
Non-deterministic logic of informal provability has no finite characterization Universiteit Gent
Recently, in an ongoing debate about informal provability, non-deterministic logics of informal provability BAT and CABAT were developed to model the notion. CABAT logic is defined as an extension of BAT logics and itself does not have independent and decent semantics. The aim of the paper is to show that, semantically speaking, both logics are rather complex and they can be characterized by neither finitely many valued deterministic semantics ...
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming Vrije Universiteit Brussel
Investigating the relation between fuzzy autoepistemic logic and fuzzy answer set programming
The standard completeness of interval-valued monoidal t-norm based logic Universiteit Gent
The Tree-hypersequent Method for Modal Propositional Logic Vrije Universiteit Brussel
In this paper we present a method, that we call tree-hypersequent method, for generating cut-free and
contraction-free sequent calculi for modal propositional logic. We show how this method works for the systems K, K4,KD and KD4.
contraction-free sequent calculi for modal propositional logic. We show how this method works for the systems K, K4,KD and KD4.
The intuitionistic temporal logic of dynamical systems Universiteit Gent
A dynamical system is a pair (X, f), where X is a topological space and f : X -> X is continuous. Kremer observed that the language of propositional linear temporal logic can be interpreted over the class of dynamical systems, giving rise to a natural intuitionistic temporal logic. We introduce a variant of Kremer's logic, which we denote ITL lozenge c, and show that it is decidable. We also show that minimality and Poincare recurrence are ...
Context-sensitivity in Jain strategical dialogues: a dialogical study of Siddharsigani's Commentary on the handbook of logic Universiteit Gent
In classical India, Jain philosophers developed a theory of viewpoints (nayavada) according to which any statement is always performed within and dependent upon a given epistemic perspective or viewpoint. The Jainas furnished this epistemology with an (epistemic) theory of disputation that takes into account the viewpoint in which the main thesis has been stated. The main aim of our paper is to delve into the Jain notion of ...