Results 31 to 40 of about 86,968 (310)
Labelled Tableaux For Non-Normal Modal Logics [PDF]
, 1999 In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in order to deal with classes of non-normal modal logic, such as monotonic and regular, in a uniform and modular ...
A. Artosi +11 more
core +4 more sources
A Neighbourhood Semantics for the Logic TK
Principia: An International Journal of Epistemology, 2011 The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using
Cezar A. Mortari +1 more
doaj +3 more sources
Rosser Provability and Normal Modal Logics [PDF]
Studia Logica, 2019 In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose provability logic is exactly the normal modal logic ${\sf KD}$. Secondly, we introduce a new normal modal logic ${\sf KDR}$ which is a proper extension of ${\sf KD}$, and ...
openaire +2 more sources
Axioms, 2016 This paper deals with several problems concerning notion of existential dependence and ontological notions of existence, necessity and fusion. Following some ideas of Eugenia Ginsberg-Blaustein, the notions are treated in reference to objects, in ...
Marek Magdziak
doaj +1 more source
Reasoning about Strategies: on the Satisfiability Problem [PDF]
Logical Methods in Computer Science, 2017 Strategy Logic (SL, for short) has been introduced by Mogavero, Murano, and Vardi as a useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent concurrent games.
Fabio Mogavero +3 more
doaj +1 more source
Everyone loves a good story: Learning design in massive open online courses for language learning
Frontiers in Education, 2022 These couple of years have witnessed an increase in interest in Higher Education Institutions (HEIs) have for Massive Open Online Courses (MOOCs). As the COVID-19 situation amply showed us, MOOCs promptly became a practical way to secure continuity of ...
Veruska De Caro-Barek
doaj +1 more source
Intuitionism and the Modal Logic of Vagueness [PDF]
, 2020 Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism
Bobzien, Susanne, Rumfitt, Ian
core +1 more source
Sahlqvist via Translation [PDF]
Logical Methods in Computer Science, 2019 In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions.
Willem Conradie +2 more
doaj +1 more source
Belief as Willingness to Bet [PDF]
, 2014 We investigate modal logics of high probability having two unary modal operators: an operator $K$ expressing probabilistic certainty and an operator $B$ expressing probability exceeding a fixed rational threshold $c\geq\frac 12$.
Renne, Bryan, van Eijck, Jan
core +2 more sources
Strong Completeness of Coalgebraic Modal Logics [PDF]
, 2009 Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics often present ...
, Pattinson, Dirk
core +1 more source