Results 31 to 40 of about 1,933,548 (305)
, 2020 The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have been discussing the so called Ecumenical Systems, where connectives from these logics can co-exist in peace.
Sonia Marin +3 more
openaire +2 more sources
Probabilistic Justification Logic
Philosophies, 2018 Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification.
Joseph Lurie
doaj +1 more source
Proof Theory of Riesz Spaces and Modal Riesz Spaces [PDF]
Logical Methods in Computer Science, 2022 We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination.
Christophe Lucas, Matteo Mio
doaj +1 more source
Forgetting in Multi-Agent Modal Logics
International Joint Conference on Artificial Intelligence, 2016 In the past decades, forgetting has been investigated for many logics and has found many applications in knowledge representation and reasoning. However, forgetting in multi-agent modal logics has largely been unexplored.
Liangda Fang +2 more
semanticscholar +1 more source
Admissible Inference Rules and Semantic Property of Modal Logics
Известия Иркутского государственного университета: Серия "Математика", 2021 Firstly semantic property of nonstandart logics were described by formulas which are peculiar to studied a models in general, and do not take to consideration a variable conditions and a changing assumptions.
V.V. Rimatskiy
doaj +1 more source
Tableaus for finitely-valued modal propositional logics
Lietuvos Matematikos Rinkinys, 1998 There is not abstract.
Jūratė Sakalauskaitė
doaj +3 more sources
On Quantified Modal Theorem Proving for Modeling Ethics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems.
Naveen Sundar Govindarajulu +2 more
doaj +1 more source
Certification of Prefixed Tableau Proofs for Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based on them) have been presented.
Tomer Libal, Marco Volpe
doaj +1 more source
Modal Logics are Coalgebraic [PDF]
Electronic Workshops in Computing, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts. Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large variety of specific logics used in particular domains. The
Corina Cîrstea +4 more
openaire +6 more sources
Coherence in Modal Logic [PDF]
Advances in Modal Logic, 2018 A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform deductive interpolation property for equational consequence in a variety, and a general criterion was given for the ...
Kowalski, Tomasz, Metcalfe, George
openaire +3 more sources