default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th ICLA 2019: Delhi, India
- Md. Aquil Khan, Amaldev Manuel:
Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Lecture Notes in Computer Science 11600, Springer 2019, ISBN 978-3-662-58770-6 - Philippe Balbiani
:
Unification in Modal Logic. 1-5 - Anantha Padmanabha, R. Ramanujam:
Propositional Modal Logic with Implicit Modal Quantification. 6-17 - Michal Tomasz Godziszewski, Rafal Urbaniak:
Infinite Liar in a (Modal) Finitistic Setting. 18-29 - Zhe Lin, Mihir Kumar Chakraborty:
The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5. 30-41 - Martin Lange:
Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results. 42-51 - Tim French, Andrew Gozzard, Mark Reynolds:
A Modal Aleatoric Calculus for Probabilistic Reasoning. 52-63 - Nenad Savic, Thomas Studer:
Public Announcements for Epistemic Models and Hypertheories. 64-75 - Abhisekh Sankaran:
Revisiting the Generalized Łoś-Tarski Theorem. 76-88 - Mike Prest:
Model Theory for Sheaves of Modules. 89-102 - Ian Pratt-Hartmann:
Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey. 103-107 - Yoshiki Nakamura:
The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation. 108-120 - Cezary Cieslinski:
Satisfaction Classes via Cut Elimination. 121-131 - Katsuhiko Sano, Minghui Ma:
Sequent Calculi for Normal Update Logics. 132-143 - Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis:
Logics for Rough Concept Analysis. 144-159 - Jasine Babu, Karunakaran Murali Krishnan, Vineeth Paleri:
A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks. 160-172 - Rohit Parikh:
Logic Without Language. 173-182 - Abhishek Kr Singh, Raja Natarajan:
Towards a Constructive Formalization of Perfect Graph Theorems. 183-194
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-11-25 22:51 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:
