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 101-120 of 965 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
101Dalmonte, Tiziano ; Olivetti, Nicola Proof Systems for the Logics of Bringing-It-About.Konferenzbeitrag Inproceedings 2021
102Ciabattoni, Agata ; Parent, Xavier A Kelsenian Deontic LogicKonferenzbeitrag Inproceedings 2021
103Hermann, Miki ; Salzer, Gernot MCP: Capturing Big Data by Satisfiability (Tool Description)Konferenzbeitrag Inproceedings 2021
104Olszewski, Maya ; Parent, Xavier Input/Output Logic With a Consistency Check-the Case of PermissionKonferenzbeitrag Inproceedings 2021
105van Berkel, Kees ; Gabbay, Dov M. If You Want to Smoke, Don't Buy Cigarettes: Near Anankastics, Contexts, and Hyper ModalityKonferenzbeitrag Inproceedings2021
106Lang, Timo A Reduction in Violation LogicKonferenzbeitrag Inproceedings 2021
107Wiesnet, Franziskus An algorithmic version of Zariski's lemmaPräsentation Presentation2021
108van Berkel, Kees What is the (potential) role of proof theory for normative reasoning?Präsentation Presentation2021
109Wiesnet, Franziskus A case study of proof mining in analysisPräsentation Presentation2021
110Dalmonte, Tiziano Proof-theory of agency logics of bringing-it-aboutPräsentation Presentation2021
111Pavlova, Alexandra Dialogue Games for Minimal LogicArtikel Article 2021
112Ciabattoni, Agata Normative reasoning in Mīmāṃsā: A deontic logic approachPräsentation Presentation2021
113Pavlova, Alexandra Provability Games for Non-classical Logics : Mezhirov Game for $$\mathbf {MPC}$$, $$\mathbf {KD!}$$, and $$\mathbf {KD}$$Konferenzbeitrag Inproceedings 2021
114Freiman, Robert Games for Hybrid Logic : From Semantic Games to Analytic CalculiKonferenzbeitrag Inproceedings 2021
115van Berkel, Kees What is the (potential) role of proof theory for normative reasoning?Präsentation Presentation2021
116van Berkel, Kees ; Sartor, G Using formal argumentation to clarify structures of legal reasoningPräsentation Presentation2021
117Dalmonte, Tiziano Terminating Calculi and Countermodels for Constructive Modal LogicsKonferenzbeitrag Inproceedings 2021
118Neufeld, Emery ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido A Normative Supervisor for Reinforcement Learning AgentsKonferenzbeitrag Inproceedings2021
119Pavlova, Alexandra Public Announcement for Intuitionistic Epistemic LogicPräsentation Presentation2021
120Gore, Rajeev ; Ramanayake, Revantha Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using CoqKonferenzbeitrag Inproceedings 2021