default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICLA 2013: Chennai, India
- Kamal Lodaya:
Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Lecture Notes in Computer Science 7750, Springer 2013, ISBN 978-3-642-36038-1
Invited Papers
- Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Constructive Decision Theory. 1-4 - Martin Otto:
Bisimulation and Coverings for Graphs and Hypergraphs. 5-16 - Mirna Dzamonja
:
Forcing Axioms, Finite Conditions and Some More. 17-26 - Agi Kurucz:
A Note on Axiomatisations of Two-Dimensional Modal Logics. 27-33 - Adriane A. Rini:
The Birth of Proof: Modality and Deductive Reasoning. 34-49 - Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Indiscrete Models: Model Building and Model Checking over Linear Time. 50-68 - Gabriel Sandu:
Probabilistic IF Logic. 69-79
Contributed Papers
- Mai Ajspur, Valentin Goranko:
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. 80-96 - Ido Ben-Zvi, Yoram Moses:
Agent-Time Epistemics and Coordination. 97-108 - Katsuhiko Sano, Satoshi Tojo:
Dynamic Epistemic Logic for Channel-Based Agent Communication. 109-120 - Rohit Parikh:
On Kripke's Puzzle about Time and Thought. 121-126 - Cezary Cieslinski:
Yablo Sequences in Truth Theories. 127-138 - Joel David Hamkins, Benedikt Löwe:
Moving Up and Down in the Generic Multiverse. 139-147 - Björn Lellmann, Dirk Pattinson:
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic. 148-160 - Franco Parlamento, Flavio Previale:
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms. 161-172 - Simon Kramer:
Logic of Non-monotonic Interactive Proofs. 173-184 - Radha Jagadeesan, Corin Pitcher, James Riely:
Noninterference for Intuitionist Necessity. 185-196 - Soma Dutta, Sanjukta Basu, Mihir K. Chakraborty:
Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal. 197-209 - S. P. Tiwari, Anupam K. Singh:
Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System. 210-219 - Fernando R. Velázquez-Quesada:
Public Announcements for Non-omniscient Agents. 220-232 - Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov:
Subset Space Logic with Arbitrary Announcements. 233-244 - Yì N. Wáng, Thomas Ågotnes:
Subset Space Public Announcement Logic. 245-257
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.
last updated on 2024-10-09 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
