default search action

combined dblp search
author search
venue search
publication search

ask others

ICLA 2015: Mumbai, India

> Home > Conferences and Workshops > ICLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icla/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/2015
Mohua Banerjee, Shankara Narayanan Krishna:
Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings. Lecture Notes in Computer Science 8923, Springer 2015, ISBN 978-3-662-45823-5
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Awodey15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Awodey15
Steve Awodey:
Homotopy Type Theory. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Dunn15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Dunn15
J. Michael Dunn:
The Relevance of Relevance to Relevance Logic. 11-29
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Filiot15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Filiot15
Emmanuel Filiot:
Logic-Automata Connections for Transformations. 30-57
- view
  authority control:
- export record
  dblp key:
  - conf/icla/BandyopadhyayRDB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/BandyopadhyayRDB15
Prasanta S. Bandyopadhyay, R. Venkata Raghavan, Don Wallace Dcruz, Gordon Brittan Jr.:
Truths about Simpson's Paradox: Saving the Paradox from Falsity. 58-73
- view
  authority control:
- export record
  dblp key:
  - conf/icla/DuttaBC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/DuttaBC15
Soma Dutta, Benjamín R. C. Bedregal, Mihir K. Chakraborty:
Some Instances of Graded Consequence in the Context of Interval-Valued Semantics. 74-87
- view
  authority control:
- export record
  dblp key:
  - conf/icla/FanD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/FanD15
Jie Fan, Hans van Ditmarsch:
Neighborhood Contingency Logic. 88-99
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Hannula15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Hannula15
Miika Hannula:
Hierarchies in Inclusion Logic with Lax Semantics. 100-118
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Khan15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Khan15
Md. Aquil Khan:
A Modal Logic for Non-deterministic Information Systems. 119-131
- view
  authority control:
- export record
  dblp key:
  - conf/icla/MaSSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/MaSSV15
Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada:
Tableaux for Non-normal Public Announcement Logic. 132-145
- view
  authority control:
- export record
  dblp key:
  - conf/icla/GinesP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/GinesP15
Aránzazu San Ginés, Rohit Parikh:
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief. 146-157
- view
  authority control:
- export record
  dblp key:
  - conf/icla/SchimpfS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/SchimpfS15
Alexander Schimpf, Jan-Georg Smaus:
Büchi Automata Optimisations Formalised in Isabelle/HOL. 158-169
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Schorr15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Schorr15
Jaron Schorr:
Nyāya's Logical Model for Ascertaining Sound Arguments. 170-182
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Schweizer15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Schweizer15
Paul Schweizer:
Negative Existentials and Non-denoting Terms. 183-194
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Tarafder15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Tarafder15
Sourav Tarafder:
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory. 195-206
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Vencovska15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Vencovska15
Alena Vencovská:
Extending Carnap's Continuum to Binary Relations. 207-217
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Wang15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Wang15
Yanjing Wang:
Representing Imperfect Information of Procedures with Hyper Models. 218-231

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.