


default search action
ICLA 2015: Mumbai, India
- 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 - Steve Awodey:
Homotopy Type Theory. 1-10 - J. Michael Dunn:
The Relevance of Relevance to Relevance Logic. 11-29 - Emmanuel Filiot
:
Logic-Automata Connections for Transformations. 30-57 - Prasanta S. Bandyopadhyay, R. Venkata Raghavan, Don Wallace Dcruz, Gordon Brittan Jr.:
Truths about Simpson's Paradox: Saving the Paradox from Falsity. 58-73 - Soma Dutta
, Benjamín R. C. Bedregal, Mihir K. Chakraborty:
Some Instances of Graded Consequence in the Context of Interval-Valued Semantics. 74-87 - Jie Fan, Hans van Ditmarsch:
Neighborhood Contingency Logic. 88-99 - Miika Hannula
:
Hierarchies in Inclusion Logic with Lax Semantics. 100-118 - Md. Aquil Khan:
A Modal Logic for Non-deterministic Information Systems. 119-131 - Minghui Ma
, Katsuhiko Sano
, François Schwarzentruber
, Fernando R. Velázquez-Quesada
:
Tableaux for Non-normal Public Announcement Logic. 132-145 - Aránzazu San Ginés, Rohit Parikh:
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief. 146-157 - Alexander Schimpf, Jan-Georg Smaus:
Büchi Automata Optimisations Formalised in Isabelle/HOL. 158-169 - Jaron Schorr:
Nyāya's Logical Model for Ascertaining Sound Arguments. 170-182 - Paul Schweizer:
Negative Existentials and Non-denoting Terms. 183-194 - Sourav Tarafder:
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory. 195-206 - Alena Vencovská:
Extending Carnap's Continuum to Binary Relations. 207-217 - 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.
