On modal logics of group belief
... of doxastic mental states, acceptances have only been examined since [57] and since [17]. Some authors (e.g. [16]) claim that acceptance implies belief (at least to some minimal degree as argued in [59]). On the contrary, in [57] acceptance is considered to be stronger than belief. Although belief a ...
... of doxastic mental states, acceptances have only been examined since [57] and since [17]. Some authors (e.g. [16]) claim that acceptance implies belief (at least to some minimal degree as argued in [59]). On the contrary, in [57] acceptance is considered to be stronger than belief. Although belief a ...
Constraint propagation
... select 2 of them, for which resolution is possible apply resolution and add the result to the set if you obtain the clause false : STOP ! ...
... select 2 of them, for which resolution is possible apply resolution and add the result to the set if you obtain the clause false : STOP ! ...
Towards an Epistemic Logic of Grounded Belief
... any propositional tautology by closure under material implication, that is by Def. 2.1.1(a). As I am restricting this discussion to only languages in which propositional tautologies are validities, and hence local validities, propositional tautologies would certainly make up part of any ideal knowle ...
... any propositional tautology by closure under material implication, that is by Def. 2.1.1(a). As I am restricting this discussion to only languages in which propositional tautologies are validities, and hence local validities, propositional tautologies would certainly make up part of any ideal knowle ...
A joint logic of problems and propositions, a modified BHK
... theoretical truths, one can systematize schemes of solutions of problems — for example, of geometric construction problems. [...] Thus, in addition to theoretical logic, a certain new calculus of problems arises. [...] Surprisingly, the calculus of problems coincides in form with Brouwer’s intuition ...
... theoretical truths, one can systematize schemes of solutions of problems — for example, of geometric construction problems. [...] Thus, in addition to theoretical logic, a certain new calculus of problems arises. [...] Surprisingly, the calculus of problems coincides in form with Brouwer’s intuition ...
The substitutional theory of logical consequence
... this depends on a certain understanding of necessity: If we understand necessity as formal or logical necessity, then necessary truth preservation is a sufficient condition for formal validity. However, tweaking the notion of necessity in this way runs the risk of becoming circular: Logical necessit ...
... this depends on a certain understanding of necessity: If we understand necessity as formal or logical necessity, then necessary truth preservation is a sufficient condition for formal validity. However, tweaking the notion of necessity in this way runs the risk of becoming circular: Logical necessit ...
Expressiveness of Logic Programs under the General Stable Model
... answer set programming, armed with powerful tools from classical logic. The main goal of this work is to identify the expressiveness of logic programs, which is one of the central topics in Knowledge Representation and Reasoning. We will focus on two important classes of logic programs – normal logi ...
... answer set programming, armed with powerful tools from classical logic. The main goal of this work is to identify the expressiveness of logic programs, which is one of the central topics in Knowledge Representation and Reasoning. We will focus on two important classes of logic programs – normal logi ...
Proof Theory for Propositional Logic
... One of the most interesting issues in the philosophy of language concerns the notion of compositionality. It starts with a puzzle raised by Descartes.1 Given that the overwhelming majority of sentences you hear and speak have never been spoken before and will never be spoken before, how do you under ...
... One of the most interesting issues in the philosophy of language concerns the notion of compositionality. It starts with a puzzle raised by Descartes.1 Given that the overwhelming majority of sentences you hear and speak have never been spoken before and will never be spoken before, how do you under ...
Predicate logic definitions
... A derivation in PDE is a series of sentences of PLE, each of which is either an assumption or is obtained from previous sentences by one of the rules of PDE. A sentence P of PLE is derivable in PDE from a set Γ of sentences of PLE, written S ` P, iff there exists a derivation in PDE in which all the ...
... A derivation in PDE is a series of sentences of PLE, each of which is either an assumption or is obtained from previous sentences by one of the rules of PDE. A sentence P of PLE is derivable in PDE from a set Γ of sentences of PLE, written S ` P, iff there exists a derivation in PDE in which all the ...