Results 11 to 20 of about 12,748 (219)
Modelling and verification of multiple UAV mission Using SMV [PDF]
, 2009 Presented at Formal Methods for Aeronautics, November 3, 2009, Eindhoven, NetherlandsModel checking has been used to verify the correctness of digital circuits, security protocols, communication protocols, as they can be modelled by means of finite ...
Tsourdos, Antonios +3 more
core +8 more sources
Composite reductions for Kripke models
Моделирование и анализ информационных систем, 2010 Kripke factor-model concept is investigated. It is shown, that every factor-model is representexl as a decomposition of several spexdal facctor-models, which groups of automorphisms are primes. Moreover, we show, that every finite group is isomorphic for
Y. A. Belov.
doaj +1 more source
Reglas lógicas y cambio de práctica inferencial
Análisis Filosófico, 2022 ¿Podemos adoptar una regla de inferencia como si fuera una hipótesis e inferir algo en virtud de esa regla? ¿Podemos revisar nuestras reglas y principios lógicos en virtud de la evidencia disponible?
Romina Padró, Eduardo A. Barrio
doaj +1 more source
Sobre el alcance del antirrealismo de Wittgenstein
Análisis Filosófico, 2020 Karczmarczyck (2020) evalúa y critica algunas tesis centrales defendidas en mi libro Vericuetos de la filosofía de Wittgenstein en torno al lenguaje y el seguimiento de reglas (2018), centrado en las ideas del segundo Wittgenstein.
Manuel Pérez Otero
doaj +1 more source
Kripke’s metaphysical necessity: a Kantian perspective
Cadernos de Filosofia Alemã, 2021 Este artigo estuda o conceito de necessidade em O Nomear e a necessidade de Kripke. Kripke distingue necessidade metafísica de necessidade epistemológica.
Ediovani Antônio Gaboardi
doaj +1 more source
La aplicación de la "paradoja escéptica" al derecho
Ideas y Valores, 2018 Se cuestionan las dos conclusiones imputadas a la aplicación de la "paradoja escéptica de Wittgenstein" al derecho, tal como es desarrollada por S. Kripke.
Martín Oliveira
doaj +1 more source
A note on mental content in the Causal Theory
Stellenbosch Papers in Linguistics, 2013 Kripke's causal theory requires that downstream users of a name must have the intention to use the name in the same way that upstream users did. Kripke, however, has demonstrated no need for this requirement qua independent condition.
Smit, J. P.
doaj +1 more source
Local Search and the Evolution of World Models
Topics in Cognitive Science, EarlyView., 2023 Abstract An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily ...
Neil R. Bramley +3 more
wiley +1 more source
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core +2 more sources
Referálnak-e a fiktív nevek? Kripke és Salmon a negatív egzisztenciális állításokról
Elpis, 2015 Több mint negyven éve, hogy Saul Kripke 1970-ben megtartotta immáron klasszikussá vált előadásait, amelyek a Megnevezés és szükségszerűség című kötetben láttak napvilágot.
Áron Dombrovszki
doaj +1 more source