All 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 Other
All Journal Article Presentation Book
Logic and Its Applications, 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Volume: -
Annals of the Japan Association for Philosophy of Science
Volume: 33
Studia Logica
Volume: - Issue: 5 Pages: 1091-1121
10.1007/s11225-023-10067-0
Volume: - Issue: 2 Pages: 349-381
10.1007/s11225-024-10149-7
Volume: - Issue: 3 Pages: 661-691
10.1007/s11225-023-10066-1
Lecture Notes in Computer Science
Volume: 14329 Pages: 190-206
10.1007/978-3-031-45558-2_15
Volume: - Issue: 4 Pages: 615-652
10.1007/s11225-023-10037-6
The Australasian Journal of Logic
Volume: 20 Issue: 3 Pages: 397-411
10.26686/ajl.v20i3.7696
Dynamics in Logic and Language
Volume: - Pages: 116-135
10.1007/978-3-031-25894-7_6
Advances in Modal Logic
Volume: 14 Pages: 601-623
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications(NCL)
Volume: - Pages: 25-40
10.4204/eptcs.358.3
Journal of Logic and Computation
Volume: - Issue: 6 Pages: 1399-1436
10.1093/logcom/exac013
Electronic Proceedings in Theoretical Computer Science
Computacion y Sistemas
Volume: 26(2) Issue: 2 Pages: 823-834
10.13053/cys-26-2-4259
Sujata Ghosh, Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings, Springer Nature, 2021
Volume: - Pages: 216-231
10.1007/978-3-030-88708-7_18
Journal of Logical and Algebraic Methods in Programming
Volume: 122 Pages: 100682-100682
10.1016/j.jlamp.2021.100682
Deontic Logic and Normative Systems 15th International Conference, DEON 2020/2021
Volume: 15 Pages: 376-393
Volume: - Issue: 3 Pages: 518-553
10.1093/logcom/exab066
Short Papers of Advances in Modal Logic (AiML 2020)
Volume: - Pages: 97-101
Foundations of Information and Knowledge Systems. FoIKS 2020. Lecture Notes in Computer Science
Volume: 12021 Pages: 211-221
10.1007/978-3-030-39951-1_13
Nicola Olivetti, Rineke Verbrugge, Sara Negri and Gabriel Sandu (eds.), Advances in Modal Logic
Volume: 13 Pages: 541-560
Volume: 12569 Pages: 137-154
10.1007/978-3-030-65840-3_9
Context, Conflict and Reasoning, Logic in Asia: Studia Logica Library
Volume: - Pages: 115-126
10.1007/978-981-15-7134-3_9
Volume: - Issue: 1 Pages: 321-348
10.1093/logcom/exaa014
Volume: - Pages: 127-138
10.1007/978-981-15-7134-3_10
Volume: 109 Issue: 1 Pages: 95-124
10.1007/s11225-020-09902-5
Knowledge, Proof and Dynamics. Logic in Asia: Studia Logica Library
Volume: - Pages: 51-72
10.1007/978-981-15-2221-5_4
Volume: - Issue: 8 Pages: 1933-1958
10.1093/logcom/exaa067
Annals of Pure and Applied Logic
Volume: 170(9) Issue: 9 Pages: 1100-1127
10.1016/j.apal.2019.04.009
Volume: vol.11600 Pages: 132-143
10.1007/978-3-662-58771-3_13
Logic, Rationality, and Interaction, 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
Volume: 11813 Pages: 326-339
10.1007/978-3-662-60292-8_24
Volume: 11813 Pages: 244-258
10.1007/978-3-662-60292-8_18
Proceedings of the 4th Asian Workshop on Philosophical Logic
Volume: 4 Pages: 3-15
Volume: - Pages: 138-150
Logical Methods in Computer Science
Volume: 14
10.23638/lmcs-14(1:22)2018
Volume: vol.11194 Pages: 113-130
10.1007/978-3-030-02149-8_8
Volume: 4 Pages: 138-150
Volume: 印刷中
Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016
Volume: - Pages: 233-258
10.1007/978-981-10-6355-8_12
Volume: - Pages: 153-180
10.1007/978-981-10-6355-8_8
Volume: 243 Pages: 105-121
10.4204/eptcs.243.8
The IfColog Journal of Logics and their Applications (FLAP)
Volume: 4 Pages: 111-148
Artificial Intelligence and Law
Volume: 印刷中 Issue: 3 Pages: 1-49
10.1007/s10506-017-9202-0
Proceedings of the 9th International Conference on Agents and Artificial Intelligence (ICAART 2017)
Volume: 2 Pages: 615-623
10.5220/0006204806150623
Understanding Information, Advanced Information and Knowledge Processing
Volume: - Pages: 101-130
10.1007/978-3-319-59090-5_6
Logic, Rationality, and Interaction, LORI 2017, Lecture Notes in Computer Science
Volume: 10455 Pages: 224-239
10.1007/978-3-662-55665-8_16
Volume: 9803 Pages: 392-409
10.1007/978-3-662-52921-8_24
Logic, Language, Information, and Computation, Lecture Notes in Computer Science
Volume: 9160 Pages: 140-155
10.1007/978-3-662-47709-0_11
Post-proceedings of The Second Asian Workshop on Philosophical Logic
Proceedings of the 13th Asian Logic Conference
Volume: 13 Pages: 170-200
10.1142/9789814678001_0011
Volume: 印刷中 Issue: 8 Pages: 1781-1804
10.1093/logcom/exv026
Logic in Asia: Studia Logica Library, Structural Analysis of Non-Classical Logics
Volume: 2 Pages: 223-252
10.1007/978-3-662-48357-2_11
Post-proceedings of JURISIN 2014
120006305725
Proceedings of Wollic 2015
Volume: 8923 Pages: 132-145
10.1007/978-3-662-45824-2_9
Proceedings of the 4th International Conference on Tools for Teaching Logic (TTL2015)
Volume: 4 Pages: 55-64
Post-proceedings of Tenth Tbilisi Symposium on Language, Logic and Computation
Proceedings of Proceedings of the Twelfth International Workshop of Logic and Engineering of Natural Language Semantics 12 (LENLS 12)
Volume: 12 Pages: 163-172
Volume: 印刷中 Issue: 5 Pages: 883-917
10.1007/s11225-014-9597-5
Proceeedings of 7th International Conference on Agents and Artificial Intelligence
Volume: 1 Pages: 174-181
10.5220/0005219001740181
120006676390
Volume: 2 Pages: 131-158
10.1007/978-3-662-48357-2_7
120006305710
Volume: 9459 Pages: 187-202
10.1007/978-3-319-27683-0_20
24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Stephan Kreutzer editor, Leibniz International Proceedings in Informatics (LIPIcs)
Volume: 41 Pages: 292-307
10.4230/LIPIcs.CSL.2015.292
Proceedings of The Seventh International Conference on Knowledge and Systems Engineering (KSE 2015)
Volume: 7 Pages: 228-233
10.1109/kse.2015.64
Volume: 7 Pages: 256-261
10.1109/kse.2015.73
Recent Trends in Philosophical Logic, Proceedings of Trends in Logic XI
Volume: 41 Pages: 145-166
10.1007/978-3-319-06080-4_11
Trends in Logic XIII
Volume: XIII Pages: 217-231
Volume: 8417 Pages: 230-245
10.1007/978-3-319-10061-6_16
120006305709
Proceedings of the 24th Semantics and Linguistic Theory Conference
Volume: 24 Pages: 84-101
Logic Journal of the IGPL
Volume: 22 Issue: 3 Pages: 458-481
10.1093/jigpal/jzt044
LNCS, JSAI-isAI Workshops 2013
Volume: 10 Pages: 294-312
Volume: 7750 Pages: 109-120
10.1007/978-3-642-36039-8_10
120005173801
Volume: 7392 Pages: 299-311
10.1007/978-3-642-31585-5_29
Proceedings of Tenth Tbilisi Symposium on Language, Logic and Computation
Volume: 10 Pages: 137-141
Proceedings of the Sixth International Workshop of Juris-Informatics
Volume: 6 Pages: 101-113
Computer Software
Volume: 30 Issue: 1 Pages: 1_152-1_163
10.11309/jssst.30.1_152
130004549307
Volume: 7758 Pages: 257-276
10.1007/978-3-642-36976-6_16
Proceedings of the Seventh International Workshop of Juris-Informatics
Volume: 7 Pages: 107-120
Logic, Rationality, and Interaction, Lecture Notes in Computer Science
Volume: 8196 Pages: 204-217
10.1007/978-3-642-40948-6_16
