Temat: modal logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: A Note on the Intuitionistic Logic of False Belief
Autorzy:: Witczak, Tomasz
Tematy:: Intuitionistic modal logic
non-normal modal logic
neighborhood semantics; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/2142756.pdf Link otwiera się w nowym oknie
Opis:: In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is not satisfied in a given world, but we still believe in it (or we think that it should be accepted). Another interpretations are also possible: e.g. that we do not accept $\varphi$ but it is imposed on us by a kind of council or advisory board. From the mathematical point of view, the idea is expressed by an adequate form of modal operator $\mathsf{W}$ which is interpreted in relational frames with neighborhoods. We discuss monotonicity of forcing, soundness, completeness and several other issues. Finally, we mention the fact that it is possible to investigate intuitionistic logics of unknown truths.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: Siła i słabość logik modalnych
The Strengths and Weaknesses of Modal Logics
Autorzy:: Czakon, Marcin
Tematy:: modal logic
temporal logic
epistemic logic; Pokaż więcej
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Powiązania:: https://bibliotekanauki.pl/articles/909495.pdf Link otwiera się w nowym oknie
Opis:: This is a review of the book Jedność i wielość logik modalnych (The Unity and Diversity of Modal Logics) edited by Marcin Tkaczyk. The book contains discussions of the most recent results of contemporary modal logic, focusing on regular modal logics, epistemic logic, and temporal logic. The book comprises four chapter, each of which deals with selected formal-logical and philosophical problems associated with modal logic.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Najkrótsze aksjomaty modalnej logiki Łukasiewicza
The Shortest Axioms of Łukasiewicz’s Modal Logic
Autorzy:: Dywan, Zdzisław
Tematy:: aksjomatyzacja
logika modalna
axiomatization
modal logic; Pokaż więcej
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Powiązania:: https://bibliotekanauki.pl/articles/488405.pdf Link otwiera się w nowym oknie
Opis:: Pokazujemy, że formuła CLpEqLq aksjomatyzuje logikę modalną Łukasiewicza i nie istnieje krótszy aksjomat dla tej logiki.
We show that the formula CLpEqLq axiomatizes Łukasiewicz’s modal logic and that there exists no shorter axiom for it.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: From Intuitionism to Brouwers Modal Logic
Autorzy:: Kostrzycka, Zofia
Tematy:: intuitionistic logic
Kripke frames
Brouwer's modal logic; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/1023286.pdf Link otwiera się w nowym oknie
Opis:: We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication, whereas variables and other positive sentences remain as they are. The proposed translation preserves fragments of the Rieger-Nishimura lattice which is the Lindenbaum algebra of monadic formulas in INT. Unfortunately, INT is not embedded by this mapping into KTB.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: A Sound Interpretation of Leśniewskis Epsilon in Modal Logic KTB
Autorzy:: Inoue, Takao
Tematy:: Le´sniewski’s ontology
propositional ontology
translation
interpretation
modal logic
KTB
soundness
Grzegorczyk’s modal logic; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/2033852.pdf Link otwiera się w nowym oknie
Opis:: In this paper, we shall show that the following translation $I^M$ from the propositional fragment $\bf L_1$ of Leśniewski's ontology to modal logic $\bf KTB$ is sound: for any formula $\phi$ and $\psi$ of $\bf L_1$, it is defined as (M1) $I^M(\phi \vee \psi) = I^M(\phi) \vee I^M(\psi)$, (M2) $I^M(\neg \phi) = \neg I^M(\phi)$, (M3) $I^M(\epsilon ab) = \Diamond p_a \supset p_a . \wedge . \Box p_a \supset \Box p_b .\wedge . \Diamond p_b \supset p_a$, where $p_a$ and $p_b$ are propositional variables corresponding to the name variables $a$ and $b$, respectively. In the last, we shall give some comments including some open problems and my conjectures.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Założeniowe systemy normalnych logik modalnych
Natural Deduction Systems of Normal Modal Logics
Autorzy:: Tkaczyk, Marcin
Tematy:: logika modalna
normalna logika modalna
dedukcja naturalna
system założeniowy
modal logic
normal modal logic
natural deduction; Pokaż więcej
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Powiązania:: https://bibliotekanauki.pl/articles/2013342.pdf Link otwiera się w nowym oknie
Opis:: Most normal modal logics have been constructed as axiomatic systems rather than natural deduction. However, a lot of them have Gentzen-style or Kalish-Montague-style counterparts. Unfortunately, very few systems have Słupecki-Borkowski-style natural deduction counterparts. To fill in the gap is an aim of the present paper. The system K is developed as a Leśniewski-Borkowski-style natural deduction system in two ways. Equivalence of the systems is proved. A way is described to develop other normal systems beginning with the given system K.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: On Paracomplete Versions of Jaśkowskis Discussive Logic
Autorzy:: Mruczek-Nasieniewska, Krystyna
Petrukhin, Yaroslav
Shangin, Vasily
Tematy:: discussive logic
discursive logic
modal logic
paracomplete logic
paraconsistent logic; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/43183714.pdf Link otwiera się w nowym oknie
Opis:: Jaśkowski's discussive (discursive) logic $ \mathbf{D_2} $ is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic $ \mathbf{ S5 } $ via special translation functions between discussive and modal languages, and supporting at the same time the tradition of paracomplete logics being the counterpart of paraconsistent ones, we present a paracomplete discussive logic $ \mathbf{ D_2^p } $.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: Neighbourhood Semantics for Graded Modal Logic
Autorzy:: Chen, Jinsheng
van Ditmarsch, Hans
Greco, Giuseppe
Tzimoulis, Apostolos
Tematy:: Graded modal logic
neighbourhood frames
bisimulation; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/2033856.pdf Link otwiera się w nowym oknie
Opis:: We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We also obtain a new definition of graded bisimulation with respect to Kripke frames by modifying the definition of monotonic bisimulation.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: Deduction theorem in congruential modal logics
Autorzy:: Krawczyk, Krzysztof
Opis:: We present an algebraic proof of the theorem stating that there are continuum many axiomatic extensions of global consequence associated with modal system "E" that do not admit the local deduction detachment theorem. We also prove that all these logics lack the finite frame property and have exactly three proper axiomatic extensions, each of which admits the local deduction detachment theorem.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: Zastosowanie systemów pośrednich między S4 A S5 w kontekstach epistemicznych
Application of Systems that are Intermediate between S4 and S5 in Epistemic Contexts
Autorzy:: Lechniak, Marek
Tematy:: logika modalna
systemy logiki modalnej
wiedza
przekonanie
pojęcia epistemiczne
modal logic
systems of modal logic
knowledge
belief
epistemic concepts; Pokaż więcej
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Powiązania:: https://bibliotekanauki.pl/articles/2012906.pdf Link otwiera się w nowym oknie
Opis:: The article presents systems of modal logics that are stronger than the S4 and weaker than the S5 systems. After a syntactic and semantic presentation of the systems, they are presented as applied to expressing the property of time. Then, after a discussion of some of Hintikka’s arguments concerning “the only” logic proper for the concept of knowledge and belief, against the background of a discussion of various concepts of knowledge and convictions, the application of the S4.2, S4.3, S4F systems as well as of the S4.4 system for expressing properties of epistemic concepts is shown.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "modal logic" wg kryterium: Temat