default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ICLA 2023: Indore, India
- Mohua Banerjee
, A. V. Sreejith:
Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings. Lecture Notes in Computer Science 13963, Springer 2023, ISBN 978-3-031-26688-1 - Mihir Kumar Chakraborty:
A Note on the Ontology of Mathematics. 1-10 - Supratik Chakraborty:
Boolean Functional Synthesis: From Under the Hood of Solvers. 11-22 - Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere:
Labelled Calculi for Lattice-Based Modal Logics. 23-47 - Shikha Singh, Kamal Lodaya, Deepak Khemani:
Two Ways to Scare a Gruffalo. 48-67 - Sandra Müller:
Determinacy Axioms and Large Cardinals. 68-78 - R. Ramanujam:
Big Ideas from Logic for Mathematics and Computing Education. 79-91 - Qian Chen, Minghui Ma:
Modal Logic of Generalized Separated Topological Spaces. 92-104 - Fan He:
Multiple-Valued Semantics for Metric Temporal Logic. 105-116 - Jeny Jacob, Manoj Changat:
Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability. 117-129 - Bornali Paul, Sandip Paul:
Fuzzy Free Logic with Dual Domain Semantics. 130-142 - Manidipa Sanyal, Prabal Kumar Sen:
A New Dimension of Imperative Logic. 143-158 - Masiur Rahaman Sardar:
Quasi-Boolean Based Models in Rough Set Theory: A Case of Covering. 159-171 - Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere:
Labelled Calculi for the Logics of Rough Concepts. 172-188 - Hao Wu, Minghui Ma:
An Infinity of Intuitionistic Connexive Logics. 189-206 - Hao Wu, Minghui Ma:
Relational Semantics for Normal Topological Quasi-Boolean Logic. 207-221
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 2025-01-28 22:19 CET 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:
