Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "modal logic" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 22
Tytuł:
Siła i słabość logik modalnych
The Strengths and Weaknesses of Modal Logics
Autorzy:
Czakon, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/909495.pdf
Data publikacji:
2020-03-31
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
modal logic
temporal logic
epistemic logic
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.
Źródło:
Filozofia Nauki; 2020, 28, 1; 125-132
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Najkrótsze aksjomaty modalnej logiki Łukasiewicza
The Shortest Axioms of Łukasiewicz’s Modal Logic
Autorzy:
Dywan, Zdzisław
Powiązania:
https://bibliotekanauki.pl/articles/488405.pdf
Data publikacji:
2016
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
aksjomatyzacja
logika modalna
axiomatization
modal logic
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.
Źródło:
Roczniki Filozoficzne; 2016, 64, 2; 5-9
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Sound Interpretation of Leśniewskis Epsilon in Modal Logic KTB
Autorzy:
Inoue, Takao
Powiązania:
https://bibliotekanauki.pl/articles/2033852.pdf
Data publikacji:
2021-11-09
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Le´sniewski’s ontology
propositional ontology
translation
interpretation
modal logic
KTB
soundness
Grzegorczyk’s modal logic
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.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 4; 455-463
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Założeniowe systemy normalnych logik modalnych
Natural Deduction Systems of Normal Modal Logics
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013342.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika modalna
normalna logika modalna
dedukcja naturalna
system założeniowy
modal logic
normal modal logic
natural deduction
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.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 219-228
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Paracomplete Versions of Jaśkowskis Discussive Logic
Autorzy:
Mruczek-Nasieniewska, Krystyna
Petrukhin, Yaroslav
Shangin, Vasily
Powiązania:
https://bibliotekanauki.pl/articles/43183714.pdf
Data publikacji:
2024
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
discussive logic
discursive logic
modal logic
paracomplete logic
paraconsistent logic
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 } \).
Źródło:
Bulletin of the Section of Logic; 2024, 53, 1; 29-61
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Polyadic algebras over nonclassical logics
Autorzy:
Pigozzi, Don
Salibra, Antonino
Powiązania:
https://bibliotekanauki.pl/articles/1361079.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
lambda calculus
modal logic
intuitionistic logic
many-valued logic
BCK logic
Opis:
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.
Źródło:
Banach Center Publications; 1993, 28, 1; 51-66
0137-6934
Pojawia się w:
Banach Center Publications
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Powiązania:
https://bibliotekanauki.pl/articles/2012906.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika modalna
systemy logiki modalnej
wiedza
przekonanie
pojęcia epistemiczne
modal logic
systems of modal logic
knowledge
belief
epistemic concepts
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.
Źródło:
Roczniki Filozoficzne; 2010, 58, 2; 41-60
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Linear Abelian Modal Logic
Autorzy:
Mohammadi, Hamzeh
Powiązania:
https://bibliotekanauki.pl/articles/43184005.pdf
Data publikacji:
2024
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
many-valued logic
modal logic
abelian logic
hypersequent calculus
cut-elimination
Opis:
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic \(\rm \mathbf{LK(A)}\) is axiomatized by extending \(\rm \mathbf{K(A)}\) with the modal axiom schemas \(\Box(\varphi\vee\psi)\rightarrow(\Box\varphi\vee\Box\psi)\) and \((\Box\varphi\wedge\Box\psi)\rightarrow\Box(\varphi\wedge\psi)\). Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and axiomatization is investigated.
Źródło:
Bulletin of the Section of Logic; 2024, 53, 1; 1-28
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
New Modification of the Subformula Property for a Modal Logic
Autorzy:
Takano, Mitio
Powiązania:
https://bibliotekanauki.pl/articles/1023185.pdf
Data publikacji:
2020-11-04
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
subformula property
modal logic
sequent calculus
scope of □
Opis:
A modified subformula property for the modal logic KD with the additionalaxiom □ ◊(A ∨ B) ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a natural extension of our former one on which modified subformula property for the modal logics K5, K5D and S4.2 has been shown ([2] and [4]). The finite model property as well as decidability for the logic follows from this.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 3; 255-268
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3
Autorzy:
Yazaki, Daishi
Powiązania:
https://bibliotekanauki.pl/articles/750044.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
modal logic
analytic cut
subformula property
finite model property
Opis:
The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and S4.3. The application of the inference rules is said to be acceptable, if all the formulas in the upper sequents are subformula of the formulas in lower sequent. For some modal logics, Takano analyzed the relationships between the acceptable inference rules and semantical properties by constructing models. By using these relationships, he showed Kripke completeness and subformula property. However, his method is difficult to apply to inference rules for the sequent calculi for K4.3, KD4.3, and S4.3. Lookinglosely at Takano's proof, we nd that his method can be modied to construct nite models based on the sequent calculus for K4.3, if the calculus has (cut) and all the applications of the inference rules are acceptable. Similarly, we can apply our results to the calculi for KD4.3 and S4.3. This leads not only to Kripke completeness and subformula property, but also to finite model property of these logics simultaneously.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Teodycea a logika modalna. Bogusława Wolniewicza polemika z krytyką teodycei u Pierre’a Bayle’a
Autorzy:
Mirosławski, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/668025.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
theodicy
modal logic
possibility
evil
Teodycea
logika modalna
możliwość
zło
Opis:
The essay aims at presenting original ideas of Bogusław Wolniewicz in the field of modal logic, which improve the traditional theodicy, criticized by Pierre Bayle. The classical theodicy attempts to reconcile divine omnipotence and God’s goodness. According to classical theodicy both of these elements can be reconciled, because evil is not the work of God, but a work of man – freedom is in fact necessary for a man so that he could do good, but to do good, a person automatically has to be able to do the evil (understood morally, not physically). Bayle’s argument says that freedom implies the possibility of evil and it does not imply its existence, and this means that evil can be avoided even with the assumption of freedom. Wolniewicz tries to refute that argument. He quotes a little known definitions of possibility derived from the logic of Megarian. It turns out to be an inspiration for him to introduce an original definition of possibility – “what is possible = what happened or what will happen in the future.” With this interpretation of possibility classic theodicy seems to be efficient.
Referat ma na celu zaprezentowanie oryginalnych pomysłów Bogusława Wolniewicza z dziedziny logiki modalnej, które służą usprawnieniu tradycyjnej teodycei, krytykowanej przez Pierre'a Bayle'a. Klasyczna teodycea stara się pogodzić boską wszechmoc z bożą dobrocią. Według klasycznej teodycei oba te elementy dają się pogodzić, ponieważ zło nie jest dziełem Boga, lecz człowieka – wolność jest bowiem konieczna dla człowieka, aby ten mógł czynić dobro, ale aby czynić dobro, człowiek automatycznie musi móc czynić także zło (rozumiane moralnie, nie fizycznie). Argumentacja Bayle'a mówi natomiast, że choć wolność implikuje możliwość zła, to nie implikuje jednak jego istnienia, a to oznacza, że zła można uniknąć nawet przy założeniu wolności. Wolniewicz stara się obalić tę argumentację. W tym celu przywołuje on mało znane definicje możliwości wywodzące się z logiki megarejskiej, które dostarczają inspiracji do wprowadzenia oryginalnej definicji możliwości – „to co możliwe = to, co się zdarzyło lub to co zdarzy się w przyszłości". Przy takiej interpretacji modalnej teodycea klasyczna wydaje się być sprawna
Źródło:
Racjonalia. Z punktu widzenia humanistyki; 2017, 7
2391-6540
2083-9952
Pojawia się w:
Racjonalia. Z punktu widzenia humanistyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cut Elimination for Extended Sequent Calculi
Autorzy:
Martini, Simone
Masini, Andrea
Zorzi, Margherita
Powiązania:
https://bibliotekanauki.pl/articles/43182562.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
proof theory
sequent calculus
cut elimination
modal logic
2-sequents
Opis:
We present a syntactical cut-elimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) spectrum. We design the systems uniformly since they all share the same set of rules. Different logics are obtained by “tuning” a single parameter, namely a constraint on the applicability of the cut rule and on the (left and right, respectively) rules for \(\Box\) and \(\Diamond\). Starting points for this research are 2-sequents and indexed-based calculi (sequents and tableaux). By extending and modifying existing proposals, we show how to achieve a syntactical proof of the cut-elimination theorem that is as close as possible to the one for first-order classical logic. In doing this, we implicitly show how small is the proof-theoretical distance between classical logic and the systems under consideration.
Źródło:
Bulletin of the Section of Logic; 2023, 52, 4; 459-495
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fractional-Valued Modal Logic and Soft Bilateralism
Autorzy:
Piazza, Mario
Pulcini, Gabriele
Tesi, Matteo
Powiązania:
https://bibliotekanauki.pl/articles/43181839.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
modal logic
general proof theory (including proof-theoretic semantics)
many-valued logics
Opis:
In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics \(\mathbf{E}\) and \(\mathbf{M}\) and thoroughly investigate their structural properties.
Źródło:
Bulletin of the Section of Logic; 2023, 52, 3; 275-299
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Temporalna interpretacja logiki modalnej
Temporal Interpretation of Modal Logic
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013148.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika temporalna
logika tensalna
logika modalna
semantyka relacyjna
temporal logic
tense logic
modal logic
relational semantics
Opis:
Temporal interpretation of modal logic consists in replacing possible worlds with temporal states of the world or any time determinates and the accessibility relation with a relation of passage of time. That issue has been raised by A. N. Prior, who was thinking of propositions as things which could change their truth-values (could become true or become false) with the passage of time. Under such interpretation Prior was reading a formula  as: it (is and) will allways be the case that  or: it (is and) has allways been the case that . The formula  should be read respectively. In the present paper the interpretation in question is examined. Its sources are presented and its consequences are analysed. It is claimed, the interpretation to be highly disputable because of its disagreement with physical meaning of temporal statements, established in the special relativity theory.
Źródło:
Roczniki Filozoficzne; 2008, 56, 2; 273-297
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A certain approach to Kripke semantics for normal modal logics
Autorzy:
Bryll, G.
Sochacki, R.
Powiązania:
https://bibliotekanauki.pl/articles/121860.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
logika modalna
semantyka Kripke
logika czasowa
logika matematyczna
modal logic
Kripke’s semantics
mathematical logic
Opis:
In this paper the authors propose a method of verifying formulae in normal modal logics. In order to show that a formula α is a thesis of a normal modal logic, a set of decomposition rules for any formula is given. These decomposition rules are based on the symbols of assertion and rejection of formulae.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 13-20
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 22

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies