Results 31 to 40 of about 86,968 (310)

Labelled Tableaux For Non-Normal Modal Logics [PDF]

open access: yes, 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

open access: yesPrincipia: 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]

open access: yesStudia 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

A Logical Analysis of Existential Dependence and Some Other Ontological Concepts—A Comment to Some Ideas of Eugenia Ginsberg-Blaustein

open access: yesAxioms, 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]

open access: yesLogical 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

open access: yesFrontiers 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]

open access: yes, 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]

open access: yesLogical 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]

open access: yes, 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]

open access: yes, 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

Home - About - Disclaimer - Privacy