21,181 Hits in 1.5 sec

Dynamic Epistemic Logic and Logical Omniscience

Mattias Skipper Rasmussen
2015 Logic and Logical Philosophy  
I show that the logic does not sacrifice logical competence on the altar of logical non-omniscience.  ...  Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all  ...  of logical omniscience.  ... 
doi:10.12775/llp.2015.014 fatcat:d67lhjqcajcszfu7vcwjwyy7qi

Logical omniscience as infeasibility

Sergei Artemov, Roman Kuznets
2014 Annals of Pure and Applied Logic  
present in a theory to avoid logical omniscience.  ...  Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem.  ...  to infeasible logical omniscience.  ... 
doi:10.1016/j.apal.2013.07.003 fatcat:mkhjujlsubbh5bovox3uqyscb4

Dealing with logical omniscience

Joseph Y. Halpern, Riccardo Pucella
2007 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge - TARK '07  
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and impossible possible worlds.  ...  Conclusion Many solutions have been proposed to the logical omniscience problem, differing as to the intuitions underlying the lack of logical omniscience.  ...  Problems of logical omniscience with probability can to some extent be reduced to problems of logical omniscience with knowledge in a logic that combines knowledge and probability [Fagin and Halpern 1994  ... 
doi:10.1145/1324249.1324273 dblp:conf/tark/HalpernP07 fatcat:aa42ojvufjax7c4phtjky6xjja


Moshe Y. Vardi
1986 Theoretical Aspects of Reasoning About Knowledge  
We consider the logical omniscience problem of epistemic logic. We argue that the problem is due to the way in which knowledge and belief are captured in Hintikka's possible worlds semantics.  ...  Does such a model solve the logical omniscience problem? It does and it does not.  ...  The non-classical worlds approach fails, however, to supply a satisfying solution to the logical omniscience problem for two reasons.  ... 
doi:10.1016/b978-0-934613-04-0.50024-7 fatcat:m3pl6lhtczbk7oeib2djiqb4gq

Ideal rationality and logical omniscience

Declan Smithies
2015 Synthese  
In a slogan, probabilistic coherence requires not just logical omniscience, but apriori omniscience. 4 David Chalmers Apriori omniscience can be viewed as a generalization of logical omniscience.  ...  So, for the purposes of this paper, I will restrict my focus to logical omniscience with the aim of extending the proposal in future work. 5 Logical omniscience requirements are often regarded as the result  ...  of logical omniscience. (5) Therefore, rationality does not require logical omniscience.  ... 
doi:10.1007/s11229-015-0735-z fatcat:fazqu5lbyncnzfk22wslg5w5mm

Logical Omniscience Via Proof Complexity [chapter]

Sergei Artemov, Roman Kuznets
2006 Lecture Notes in Computer Science  
We show that justification logic systems are logically omniscient w.r.t. the usual knowledge and are not logically omniscient w.r.t. the evidence-based knowledge.  ...  We show that the usual epistemic modal logics are logically omniscient (modulo some common complexity assumptions).  ...  Logical Omniscience Test (Artemov, 2005) .  ... 
doi:10.1007/11874683_9 fatcat:jghmejjrlvaszo7frbrexmwl3u

Logical omniscience at the laboratory

Ralph C. Bayer, Ludovic Renou
2016 Journal of Behavioral and Experimental Economics  
This paper investigates the ability of individuals to make complex chains of reasoning, similar to those underlying the logic of iterated deletion of dominated strategies.  ...  Firstly, the logic rests on the assumption of common knowledge of logical omniscience.  ...  Introduction Logical omniscience and rationality are two central assumptions in Game Theory.  ... 
doi:10.1016/j.socec.2016.06.003 fatcat:bxt7jldhxjgh3g6bkav3l4fo7m

Awareness, negation and Logical omniscience [chapter]

Zhisheng Huang, Karen Kwast
1991 Lecture Notes in Computer Science  
General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent's knowledge and beliefs are closed under implication.  ...  In our logics of regular awareness, explicit beliefs are not necessarily closed under general implication, which means that agents are not logically omniscient.  ...  of logical omniscience.  ... 
doi:10.1007/bfb0018448 fatcat:dkvwzhhoxjc5pnl4jizjglugoq

The Fundamental Problem of Logical Omniscience

Peter Hawke, Aybüke Özgün, Francesco Berto
2019 Journal of Philosophical Logic  
Introduction Formal epistemology tends to bake in logical omniscience.  ...  So problems of logical omniscience can be framed for ordinary knowers.  ...  The topic of a complex sentence ϕ, defined from its primitive components in A T (ϕ), makes all the logical connectives and modal operators in E L * topic-transparent, that is, Topic-transparency of the  ... 
doi:10.1007/s10992-019-09536-6 fatcat:l7dyv7dalnfb3dn2qmod2cm734

Hintikka and Cresswell on logical omniscience

Mark Jago
2007 Logic and Logical Philosophy  
I discuss three ways of responding to the logical omniscience problems faced by traditional 'possible worlds' epistemic logics.  ...  Two of these responses were put forward by Hintikka and the third by Cresswell; all three have been influential in the literature on epistemic logic.  ...  After presenting his epistemic logic, Hintikka notes the logical omniscience problem (although not under that name) and gives a response.  ... 
doi:10.12775/llp.2006.019 fatcat:smtiyv2elbca5cji2fadhzyk7y

Game Semantics, Quantifiers and Logical Omniscience

Bruno Ramos Mendonça
2022 Logic and Logical Philosophy  
Logical omniscience states that the knowledge set of ordinary rational agents is closed for its logical consequences.  ...  I maintain that the system so obtained (US+) affords an improved solution of the logical omniscience problem. To do this, I characterize first-order theoremhood in US+.  ...  US + and logical omniscience Just like urn semantics, US + affords a solution for the logical omniscience problem by providing a platform for generating non-classical epistemic worlds.  ... 
doi:10.12775/llp.2022.021 fatcat:m6esqvwrizgvzkntj34l3c45ly

The problem of logical omniscience, I

Robert Stalnaker
1991 Synthese  
To be logically omniscient with respect to implicit belief is no great feat; not even the most ignorant and unreflective of us can avoid being logically omniscient in this sense.  ...  The logic of implicit belief, in this sense, is simple and unproblematic: it is a normal modal logic, with an assumption of logical omniscience.  ... 
doi:10.1007/bf00413506 fatcat:uvinmfhk5rehfdlyeiypuvysom

Logical Omniscience and the Cost of Deliberation [chapter]

Natasha Alechina, Brian Logan
2001 Lecture Notes in Computer Science  
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the behaviour of a resource  ...  We propose two logics which take into account 'deliberation time' but use a more or less standard possible worlds semantics with classical possible worlds.  ...  [3] where possible worlds model a flavour of relevance logic. There again classical logical omniscience does not hold, although the agents are perfect reasoners in a weaker logic.  ... 
doi:10.1007/3-540-45653-8_7 fatcat:psyc65s2prcjhfyc7omk3rxurm

Avoiding Logical Omniscience by Using Subjective Situations [chapter]

Antonio Moreno, Ulises Cortés, Ton Sales
2000 Lecture Notes in Computer Science  
We define a new doxastic logic based on these entities and we show how the belief operators have some desirable properties, while avoiding logical omniscience.  ...  The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient.  ...  interesting approaches to the problem of logical omniscience).  ... 
doi:10.1007/3-540-40006-0_20 fatcat:cxwm67rz55ha7ogoi4zz57fa2u

Logical omniscience as a computational complexity problem

Sergei Artemov, Roman Kuznets
2009 Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - TARK '09  
We show that agents represented by major modal logics of knowledge and belief are logically omniscient, whereas agents represented by justification logic systems are not logically omniscient with respect  ...  The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions.  ...  about modal logics being logically omniscient.  ... 
doi:10.1145/1562814.1562821 dblp:conf/tark/ArtemovK09 fatcat:oyl5alnbszhcda2mgrpaxmi7rm
« Previous Showing results 1 — 15 out of 21,181 results