Results 81 to 90 of about 3,397 (165)
Topo-Logic as a Dynamic-Epistemic Logic
, 2017 We extend the ‘topologic’ framework [13] with dynamic modalities for ‘topological public announcements’ in the style of Bjorndahl [5]. We give a complete axiomatization for this “Dynamic Topo-Logic”, which is in a sense simpler than the standard axioms of topologic.
Alexandru Baltag +3 more
openaire +4 more sources
Knowledge, Information and Surprise
tripleC: Communication, Capitalism & Critique, 2009 In this paper, I analyse the paradox called The surprise exam paradox or The unexpected hanging paradox. I study some interpretations of this paradox, like Quine and Ned Hall ones, and give my own view about its solution, making some approaches from ...
Margarita Vazquez
doaj
Is epistemic logic possible? [PDF]
Notre Dame Journal of Formal Logic, 1972 openaire +3 more sources
Feminist Values and Plumwood’s Account of Logic
LogicsI aim to examine Val Plumwood’s feminist account of logic, as presented by Plumwood, using the frameworks developed by Elliott and McKaughan, and Intemann. Plumwood argues that relevance logic is the appropriate logical system for feminist reasoning.
Mansooreh Kimiagari
doaj +1 more source
Epistemic logic with identifiers. [PDF]
Notre Dame Journal of Formal Logic, 1976 openaire +3 more sources
Dynamic Epistemic Logic and Logical Omniscience
Logic and Logical Philosophy, 2015 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 tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as ...
openaire +3 more sources
Minimal Temporal Epistemic Logic
Notre Dame Journal of Formal Logic, 1996 The dynamics of (nonmonotonic) reasoning processes is studied. The presented approach is based on two components: Epistemic logic is used as a formalization of information states. Temporal logic is used as a formalization of a dynamics of information states.
openaire +2 more sources
Jerzy Łoś’s Epistemic Logic and the Origins of Epistemic Logics
Studia z Historii Filozofii, 2021 openaire +3 more sources
On the possibility of epistemic logic.
Notre Dame Journal of Formal Logic, 1979 openaire +4 more sources
Emergence, exclusion, and unresolved horizons: Response to Bunce et al. (2025). [PDF]
Conserv BiolIgoe J.
europepmc +1 more source