Some Notes on Intuitionistic Logic and Dialogue Semantics by Thomas Piecha University of Belgrade

Source URL: ls.informatik.uni-tuebingen.de

Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

Source URL: iltp.de

• Logic
• Mathematical logic
• Non-classical logic
• Philosophical logic
• Logic in computer science
• Proof theory
• Modal logic
• Modality
• Paraconsistent logic
• Classical logic
• Deontic logic
• Intuitionistic logic

Delineating the polynomial hierarchy in a fragment of intuitionistic logic via over -focussing Anupam Das ´ Ecole Normale Sup´erieure de Lyon, France

Source URL: anupamdas.com

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological

Source URL: drops.dagstuhl.de

Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:

Source URL: rd.host.cs.st-andrews.ac.uk

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic CONCUR 2017, Berlin, Germany Ki Yung Ahn, Ross Horne and Alwen Tiu School of Computer Science and Engineering, Nanyang Technological University,

Source URL: www.ntu.edu.sg

Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian Automata

Source URL: www.win.tue.nl

Intuitionistic modal logic in indexed nested sequents Sonia Marin and Lutz Straßburger ´ LIX, Inria, Ecole Polytechnique

Source URL: anupamdas.com

Intuitionistic Temporal Logic from Reactive Programming Wolfgang Jeltsch Institute of Cybernetics at Tallinn University of Technology Estonian–Finnish Logic Meeting Rakvere, Estonia

Source URL: www.ioc.ee

Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK

Source URL: homepages.inf.ed.ac.uk