Results 61 to 70 of about 25,998 (197)

Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes

Mathematics
In traditional epistemic logic—particularly modal logic—agents are often assumed to have complete and certain knowledge, which is unrealistic in real-world scenarios where uncertainty, imprecision, and the incompleteness of information are common.
Jinjin Zhang, Xiaoxia Zhou, Yan Zhang, Lixing Tan   +3 more
doaj   +1 more source

FIVE STEPS TO RESPONSIBILITY - DOI: 10.12818/P.0304-2340.2013v63p125

Revista da Faculdade de Direito da Universidade Federal de Minas Gerais, 2014
Responsibility has entered the academic discourse of logicians hardly more than few decades ago. I suggest a logical concept of responsibility which employs ideas both from a number of theories belonging to different branches of logic as well from other
Elena Lisanyuk
doaj   +4 more sources

Title redacted for blind review [PDF]

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the axioms of a dynamic provability ...
Khudairi, Hasen
core  

Two Types of Belief Report

The Baltic International Yearbook of Cognition, Logic and Communication, 2010
Ascriptions of belief and other doxastic propositional attitudes are commonly interpreted as quantifying over a set of possible worlds constituting doxastic alternatives for the belief experiencer.
Michael Hegarty
doaj   +1 more source

Modal Linear Logic in Higher Order Logic, an experiment in Coq

, 2003
The sequent calculus of classical modal linear logic KDT 4lin is coded in the higher order logic using the proof assistant COQ. The encoding has been done using two-level meta reasoning in Coq.
Sadrzadeh, Mehrnoosh
core   +1 more source

Two Reformulations of the Verificationist Thesis in Epistemic Temporal Logic that Avoid Fitch’s Paradox [PDF]

, 2014
1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed ...
Dragomir, Alexandru
core  

Certain Verbs Are Syntactically Explicit Quantifiers

The Baltic International Yearbook of Cognition, Logic and Communication, 2010
Quantification over individuals, times, and worlds can in principle be made explicit in the syntax of the object language, or left to the semantics and spelled out in the meta-language.
Anna Szabolcsi
doaj   +1 more source

Non-Transitive Self-Knowledge: Luminosity via Modal μ-Automata [PDF]

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing self-knowledge on the model of fixed points in monadic second-order modal logic, i.e. the modal $\mu$
Khudairi, Hasen
core  

Some Epistemic Extensions of G\"odel Fuzzy Logic

, 2021
In this paper, we introduce some epistemic extensions of G\"odel fuzzy logic whose Kripke-based semantics have fuzzy values for both propositions and accessibility relations such that soundness and completeness hold.
Borzooei, R. A., Dastgheib, D., Farahani, H., Sharafi, A. H.   +3 more
core  

Revisiting Epistemic Specifications

, 2011
In 1991, Michael Gelfond introduced the language of epistemic specifications. The goal was to develop tools for modeling problems that require some form of meta-reasoning, that is, reasoning over multiple possible worlds.
Truszczynski, Miroslaw
core   +1 more source