Results 31 to 40 of about 47,777 (170)
Qualitative Logics and Equivalences for Probabilistic Systems [PDF]
Logical Methods in Computer Science, 2009 We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized CTL (QRCTL): formulas of this logic can express the fact that certain temporal properties hold ...
Krishnendu Chatterjee +3 more
doaj +1 more source
On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics [PDF]
, 2016 The aim of this article is to explore the class of intermediate logics between the truth-preserving Łukasiewicz logic Ł and its degree-preserving companion Ł≤.
Coniglio, Marcelo E. +2 more
core +1 more source
Espace populations sociétés, 2020 The impending retirement of the Baby Boomers, in majority homeowners, raises the question of the elderly people’s position in the residential real estate market.
Pierre Le Brun
doaj +1 more source
Towards a Proof Theory of G\"odel Modal Logics [PDF]
, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
A. Avron +23 more
core +1 more source
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory [PDF]
, 2019 We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with respect to a class
Passmann, Robert
core +3 more sources
Characterization of strongly equivalent logic programs in intermediate logics [PDF]
Theory and Practice of Logic Programming, 2003 The non-classical, nonmonotonic inference relation associated with the answer set semantics for logic programs gives rise to a relationship of strong equivalence between logical programs that can be verified in 3-valued Gödel logic, G3, the strongest non-classical intermediate propositional logic (Lifschitz et al., 2001).
de Jongh, Dick H. J., Hendriks, Lex
openaire +2 more sources
Propositional inquisitive logic: a survey [PDF]
Computer Science Journal of Moldova, 2016 This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj
Revista de Estudios Latinoamericanos sobre Reducción del Riesgo de Desastres, 2019 Using Bariloche city as a case study and a conceptual perspective of resilient cities, in this article we propose an analysis of specific aspects of this international tourist destination such as its functions as an intermediate city and its economic ...
Hector Martín Civitaresi +1 more
doaj +1 more source
‘Resources to Needs’: A Paradigm for Addressing the Potentiality of the Urban Volume
Urban Planning, 2017 Underground resources are often addressed only out of necessity, leading to conflicts between uses and missing opportunities for productive synergies.
Michael Robert Doyle
doaj +1 more source
Reflexive insensitive modal logics [PDF]
, 2015 We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem ...
Gilbert, David, Venturi, Giorgio
core +2 more sources