Results 31 to 40 of about 3,184,608 (250)
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences [PDF]
, 2014 We consider intermediate predicate logics defined by fixed well-ordered (or dually well-ordered) linear Kripke frames with constant domains where the order-type of the well-order is strictly smaller than ω^ω.
Preining, Norbert +2 more
core +1 more source
Modular Games for Coalgebraic Fixed Point Logics [PDF]
, 2008 We build on existing work on finitary modular coalgebraic logics [3,4], which we extend with general fixed points, including CTL- and PDL-like fixed points, and modular evaluation games.
Sadrzadeh, Mehrnoosh, Cirstea, Corina
core +2 more sources
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
Characteristic formulas over intermediate logics [PDF]
arXiv.org, 2012 We expand the notion of characteristic formula to infinite finitely presented subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presented subdirectly irreducible algebras ...
A. Citkin
semanticscholar +1 more source
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
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
Modular Construction of Modal Logics
, 2004 We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems.
Pattinson, Dirk, Cirstea, Corina
core +2 more sources
Geometrisation of first-order logic [PDF]
, 2015 That every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well-known nor ...
Dyckhoff R. +3 more
core +1 more source
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
A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic
Bulletin of the Section of LogicThis paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for atoms and the Split Property.
Andreas Fjellstad
doaj +1 more source