Quantified Temporal Alethic Boulesic Doxastic Logic
نویسندگان
چکیده
منابع مشابه
Monodic temporal logic with quantified propositional variables
We extend the monodic fragment of first-order linear temporal logic to include right-linear grammar operators and quantification of propositional variables. Unlike propositional temporal logic, the use of grammar operators in first-order temporal logic is not equivalent to general propositional quantification, as the latter admit satisfiable formulae without countable models. We consider the de...
متن کاملDynamic Doxastic Probability Logic
In this paper we will propose a dynamic doxastic probability logic which is inspired by two already existing systems and tries to meet them somewhere in between. On the one hand you have the original simple Kooi system of public announcement logic with hard public information only, and on the other hand you have the very rich and powerful BGK system of van Benthem, Gerbandy and Kooi [5]. Public...
متن کاملSequence Semantics for Doxastic Logic
In this paper we investigate sequence semantics for the modal logic of belief. This semantics differs from the previously considered in this that it allows flexibility in dealing with beliefsthose does not need to be closed under provability. We prove completeness theorem for such logic (with respect to this semantics) and show that stable theories correspond to constant models. Department of C...
متن کاملBridges between Dynamic Doxastic and Doxastic Temporal Logics
Analyzing the behavior of agents in a dynamic environment requires describing the evolution of their knowledge as they receive new information. But equally crucial are agents’ beliefs over time, since most of our decisions and actions involve uncertainty, from going to work to selling shares. Beliefs, too, are information-based, and when refuted, they have to be revised in systematic ways. Thes...
متن کاملProofs and Expressiveness in Alethic Modal Logic
The above dictionary characterization of alethic modalities states the central notions of alethic modal logic: necessity, and other notions that are usually thought of as being definable in terms of necessity and Boolean negation: impossibility, contingency, and possibility. The syntax of modal propositional logic is inductively defined over a denumerable set of sentence letters p0, p1, p2, . ....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logica Universalis
سال: 2020
ISSN: 1661-8297,1661-8300
DOI: 10.1007/s11787-020-00264-z