Results 71 to 80 of about 24,570,426 (223)

Analysis of Cryptographic Protocol by Dynamic Epistemic Logic

IEEE Access, 2019
The security of the cryptographic protocols has always been important to ensure proper implementation of a protocol. To assure protocol security, a number of works for analysis and verification of cryptographic protocols have emerged in the literature ...
Xiaojuan Chen, Huiwen Deng
doaj   +1 more source

Room for Improvement: Why Finitist Arguments Do Not Check Out

Analytic Philosophy, EarlyView.
ABSTRACT We examine several new and underexplored arguments for the finitude of the past and the impossibility of Hilbert's Hotel. The first argument concludes that Hilbert's Hotel is impossible due to an alleged contradiction arising from the causal powers of infinitely many guests.
Joseph C. Schmid, Troy Dana
wiley   +1 more source

How Many Worlds Could There Be? David Lewis and Advanced Modalizing

Analytic Philosophy, EarlyView.
ABSTRACT Advanced modalizing, namely, possibilities and necessities concerning modal space itself, is problematic for a Lewis‐style analysis of modality. A popular solution, proposed by Divers, postulates explicit semantic clauses for a collapse of advanced modalizing, to the conclusion that all such matters are, if true in the first place, both ...
Lorenzo Azzano, Ciro De Florio, Aldo Frigerio   +2 more
wiley   +1 more source

Flexible Counterparts

Analytic Philosophy, EarlyView.
ABSTRACT Counterpart theories are powerful thanks to their flexibility: counterpart relations are not symmetrical or transitive, and one can apply more than one counterpart relation to one object. This is used to analyze metaphysical puzzles, but it also gives rise to an objection: this flexibility forces one to deny that the phenomena analyzed using ...
Florian Gatignon
wiley   +1 more source

Inquiry and Logical Form

Philosophical Perspectives, EarlyView.
ABSTRACT Joint inquiry requires agents to exchange public content about some target domain, which in turn requires them to track which content a linguistic form contributes to a conversation. But, often, the inquiry delivers a necessary truth. For example, if we are inquiring whether a particular bird, Tweety, is a woodpecker, and discover that it is ...
Una Stojnić, Matthew Stone
wiley   +1 more source

Kripke Semantics for Martin-L\"of's Extensional Type Theory [PDF]

Logical Methods in Computer Science, 2011
It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Similarly,
Steve Awodey, Florian Rabe
doaj   +1 more source

Visual Icons

Philosophy and Phenomenological Research, EarlyView.
ABSTRACT Philosophers often characterize perception as image‐like. There is little agreement, however, about what constitutes an imagistic or iconic representation. This article identifies five signature properties of iconic representations endorsed in the philosophical and scientific literature: item‐richness, feature‐richness, spatiotemporal ...
Jake Quilty‐Dunn
wiley   +1 more source

Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability

Известия Иркутского государственного университета: Серия "Математика"
We study intransitive temporal multi-agent logic with agents’ multi-valuations for letters and formulas. In previous wide accepted research the time and knowledge primarily were modeled by Kripke models with structure looking as simply a single time ...
K. V. Grekovich, V.V. Rybakov, V.V. Rimatskiy   +2 more
doaj   +1 more source

CTL update of Kripke models through protections

Artificial Intelligence, 2014
We present a nondeterministic, recursive algorithm for updating a Kripke model so as to satisfy a given formula of computation-tree logic (CTL). Recursive algorithms for model update face two dual difficulties: (1) Removing transitions from a Kripke ...
Miguel Carrillo, D. Rosenblueth
semanticscholar   +1 more source

Kripke Models and Intermediate Logics

Publications of the Research Institute for Mathematical Sciences, 1970
In [10], Kripke gave a definition of the semantics of the intuitionistic logic. Fitting [2] showed that Kripke's models are equivalent to algebraic models (i.e., pseudo-Boolean models) in a certain sense. As a corollary of this result, we can show that any partially ordered set is regarded as a (characteristic) model of a intermediate logic ^ We shall ...
openaire   +2 more sources