Results 271 to 280 of about 1,731,030 (337)
Some of the next articles are maybe not open access.
Notre Dame Journal of Formal Logic, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Logica Universalis, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kamide, Norihiro, Shramko, Yaroslav
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kamide, Norihiro, Shramko, Yaroslav
openaire +2 more sources
Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fitting, Melvin +2 more
openaire +5 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fitting, Melvin +2 more
openaire +5 more sources
Possibility Frames and Forcing for Modal Logic
Australasian Journal of Logic, 2015This paper develops the model theory of normal modal logics based on partial “possibilities” instead of total “worlds,” following Humberstone [1981] instead of Kripke [1963]. Possibility semantics can be seen as extending to modal logic the semantics for
W. Holliday
semanticscholar +1 more source
Modal Logic As Dialogical Logic
Synthese, 2001The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy.
openaire +3 more sources
Labelled Modal Logics: Quantifiers
Journal of Logic, Language and Information, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BASIN D., MATTHEWS S., VIGANO', Luca
openaire +2 more sources
Journal of Philosophical Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Krystyna Mruczek-Nasieniewska +2 more
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Krystyna Mruczek-Nasieniewska +2 more
openaire +1 more source
1985
In this paper we describe a general way to define a resolution method in the framework of non classical logic.
openaire +2 more sources
In this paper we describe a general way to define a resolution method in the framework of non classical logic.
openaire +2 more sources
Journal of Mathematical Sciences, 2005
An approach to the specification of discrete dynamical systems with non-quantative representation of uncertainty in their structure is developed. The main goal of the paper is to construct a logical calculus which can serve as a basis for specification languages for uncertain dynamical systems (fuzzy modal logic).
openaire +2 more sources
An approach to the specification of discrete dynamical systems with non-quantative representation of uncertainty in their structure is developed. The main goal of the paper is to construct a logical calculus which can serve as a basis for specification languages for uncertain dynamical systems (fuzzy modal logic).
openaire +2 more sources