Results 31 to 40 of about 87,429 (211)
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.
Hércules de Araújo Feitosa +1 more
doaj +3 more sources
Non-normal modal logics and conditional logics: Semantic analysis and proof theory
Information and Computation, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Chen, Jinsheng +3 more
openaire +1 more source
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
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
Relations between propositional normal modal logics: an overview [PDF]
Journal of Logic and Computation, 1997 In this short paper the authors give a useful overview of the most common propositional normal modal logics by first providing a catalogue of their axioms (and of the alternative names that have been considered in the standard textbooks, papers and reports), and then investigating the relationships between the logics; the equivalence between multiple ...
GORÉ, RAJEEV +2 more
openaire +3 more sources
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
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