Forschungsbereich Theory and Logic

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192-05 - Forschungsbereich Theory and Logic
 
Code Kennzahl
E192-05
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 1-20 of 378 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tesi, Matteo Constructive theories through a modal lensPresentation Vortrag15-Feb-2024
2Tesi, Matteo Subintuitionistic logics and their modal companions: a nested approachPresentation Vortrag18-Jan-2024
3Fermüller, Christian Games in LogicPresentation Vortrag15-Jan-2024
4Dik, Josephine Femke Permission in Deontic Logic: from Sanskrit Philosophy to AIPresentation Vortrag15-Jan-2024
5Dik, Josephine Femke Exploring preferenced permissions: From Sanskrit Philosophy to AIPresentation Vortrag30-Oct-2023
6Fermüller, Christian Judgment Aggregation with Graded Deontic LogicsPresentation Vortrag28-Oct-2023
7Parent, Xavier Nonstandard betterness and conditional obligationPresentation Vortrag27-Sep-2023
8Fermüller, Christian ; Freiman, Robert ; Lang, Timo Achim Game Models of Producer-Consumer Interactions and Substructural Sequent SystemsPresentation Vortrag27-Sep-2023
9Freiman, Robert ; Bernreiter, Michael Truth and Preferences - A Game Approach for Choice LogicsPresentation Vortrag14-Sep-2023
10Fermüller, Christian G. Logic and Implication – An Introduction to the General Algebraic Study of Non-classical Logics, Petr Cintula, Carles Noguera , in: Trends in Logic, vol. 57, Springer (2021), 465 p., €120.99 for hardcover, ISBN: 978-3-030-85675-5Special Contribution Spezialbeitrag15-Aug-2023
11Dik, Josephine Femke Disambiguating Permissions: A Contribution from MimamsaPresentation Vortrag23-Jun-2023
12Dik, Josephine Femke Disambiguating permissions: A contribution from MimamsaPresentation Vortrag9-Jun-2023
13Pichler, Dominik First-order modal logic, Extensionality in an alethic-deontic settingPresentation Vortrag2-Jun-2023
14Fermüller, Christian From Producer-Consumer Games to Substructural CalculiPresentation Vortrag24-May-2023
15Ciabattoni, Agata Normative reasoning: From Sanskrit philosophy to AIPresentation Vortrag16-May-2023
16Parent, Xavier Mechanizing normative reasoning: proof-theory or semantics? Part 2Presentation Vortrag12-Apr-2023
17Parent, Xavier Mechanising normative reasoning: proof-theory or semantics? Part 1Presentation Vortrag11-Apr-2023
18Pichler, Dominik Extensionality for Dyadic ObligationsPresentation Vortrag11-Feb-2023
19Freiman, Robert From Semantic Games to Analytic CalculiPresentation Vortrag6-Feb-2023
20Parent, Xavier Logics for normative reasoning and their proof theoryPresentation Vortrag26-Jan-2023