| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ineke van der Berg, Andrea De Domenico, Giuseppe Greco 0001, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere |
Labelled Calculi for Lattice-Based Modal Logics.  |
ICLA  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Chen, Minghui Ma |
Modal Logic of Generalized Separated Topological Spaces. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeny Jacob, Manoj Changat |
Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Ramanujam 0001 |
Big Ideas from Logic for Mathematics and Computing Education. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Müller |
Determinacy Axioms and Large Cardinals. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihir Kumar Chakraborty |
A Note on the Ontology of Mathematics. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wu, Minghui Ma |
An Infinity of Intuitionistic Connexive Logics. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Masiur Rahaman Sardar |
Quasi-Boolean Based Models in Rough Set Theory: A Case of Covering. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohua Banerjee, A. V. Sreejith (eds.) |
Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wu, Minghui Ma |
Relational Semantics for Normal Topological Quasi-Boolean Logic. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shikha Singh 0007, Kamal Lodaya, Deepak Khemani |
Two Ways to Scare a Gruffalo. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ineke van der Berg, Andrea De Domenico, Giuseppe Greco 0001, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere |
Labelled Calculi for the Logics of Rough Concepts. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bornali Paul, Sandip Paul |
Fuzzy Free Logic with Dual Domain Semantics. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fan He |
Multiple-Valued Semantics for Metric Temporal Logic. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Supratik Chakraborty |
Boolean Functional Synthesis: From Under the Hood of Solvers. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Manidipa Sanyal, Prabal Kumar Sen |
A New Dimension of Imperative Logic. |
ICLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lange |
Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Aquil Khan, Amaldev Manuel (eds.) |
Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Kr Singh, Raja Natarajan |
Towards a Constructive Formalization of Perfect Graph Theorems. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Lin 0002, Mihir Kumar Chakraborty |
The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsuhiko Sano, Minghui Ma |
Sequent Calculi for Normal Update Logics. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Parikh |
Logic Without Language. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Pratt-Hartmann |
Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani |
Unification in Modal Logic. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nenad Savic, Thomas Studer |
Public Announcements for Epistemic Models and Hypertheories. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim French 0002, Andrew Gozzard, Mark Reynolds 0001 |
A Modal Aleatoric Calculus for Probabilistic Reasoning. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anantha Padmanabha, R. Ramanujam 0001 |
Propositional Modal Logic with Implicit Modal Quantification. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Tomasz Godziszewski, Rafal Urbaniak |
Infinite Liar in a (Modal) Finitistic Setting. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshiki Nakamura 0001 |
The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Cieslinski |
Satisfaction Classes via Cut Elimination. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhisekh Sankaran |
Revisiting the Generalized Łoś-Tarski Theorem. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Prest |
Model Theory for Sheaves of Modules. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasine Babu, Karunakaran Murali Krishnan, Vineeth Paleri |
A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Greco 0001, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis |
Logics for Rough Concept Analysis. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Li, Yanjing Wang 0001 |
Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff B. Paris, Alena Vencovská |
Ancient Indian Logic and Analogy. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen |
Neighbourhood Contingency Bisimulation. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghui Ma, Ahti-Veikko Pietarinen |
Peirce's Sequent Proofs of Distributivity. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | C.-H. Luke Ong |
Automata, Logic and Games for the λ-Calculus. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Andrzej Walega |
Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Kleine Büning, Piotr Wojciechowski 0002, K. Subramani 0001 |
The Complexity of Finding Read-Once NAE-Resolution Refutations. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Dobrinen |
Ramsey Theory on Trees and Applications. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramanathan S. Thinniyam |
Definability of Recursive Predicates in the Induced Subgraph Order. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sujata Ghosh, Sanjiva Prasad (eds.) |
Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck, Malvin Gattinger, Yanjing Wang 0001 |
Knowing Values and Public Inspection. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Asher, Soumya Paul |
Conversation and Games. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Ojea Quintana |
On Semantic Gamification. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Corey Fisher, Seth Fogarty, Moshe Y. Vardi |
Random Models for Evaluating Efficient Büchi Universality Checking. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Galmiche, Pierre Kimmel, David J. Pym |
A Substructural Epistemic Resource Logic. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Kumar 0005, Mohua Banerjee |
A Semantic Analysis of Stone and Dual Stone Negations with Regularity. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zach |
Semantics and Proof Theory of the Epsilon Calculus. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Herman Geuvers, Tonny Hurkens |
Deriving Natural Deduction Rules from Truth Tables. |
ICLA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Miika Hannula |
Hierarchies in Inclusion Logic with Lax Semantics. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Schimpf, Jan-Georg Smaus |
Büchi Automata Optimisations Formalised in Isabelle/HOL. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Awodey |
Homotopy Type Theory. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alena Vencovská |
Extending Carnap's Continuum to Binary Relations. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Soma Dutta, Benjamín R. C. Bedregal, Mihir K. Chakraborty |
Some Instances of Graded Consequence in the Context of Interval-Valued Semantics. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada |
Tableaux for Non-normal Public Announcement Logic. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Prasanta S. Bandyopadhyay, R. Venkata Raghavan, Don Wallace Dcruz, Gordon Brittan Jr. |
Truths about Simpson's Paradox: Saving the Paradox from Falsity. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaron Schorr |
Nyāya's Logical Model for Ascertaining Sound Arguments. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sourav Tarafder |
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot |
Logic-Automata Connections for Transformations. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohua Banerjee, Shankara Narayanan Krishna (eds.) |
Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Schweizer |
Negative Existentials and Non-denoting Terms. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Aquil Khan |
A Modal Logic for Non-deterministic Information Systems. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aránzazu San Ginés, Rohit Parikh |
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjing Wang 0001 |
Representing Imperfect Information of Procedures with Hyper Models. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Fan 0001, Hans van Ditmarsch |
Neighborhood Contingency Logic. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Michael Dunn |
The Relevance of Relevance to Relevance Logic. |
ICLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001 |
Indiscrete Models: Model Building and Model Checking over Linear Time. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Parlamento, Flavio Previale |
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Otto 0001 |
Bisimulation and Coverings for Graphs and Hypergraphs. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yì N. Wáng, Thomas Ågotnes |
Subset Space Public Announcement Logic. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | S. P. Tiwari, Anupam K. Singh |
Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Kramer 0001 |
Logic of Non-monotonic Interactive Proofs. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Soma Dutta, Sanjukta Basu, Mihir K. Chakraborty |
Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov |
Subset Space Logic with Arbitrary Announcements. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Noninterference for Intuitionist Necessity. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Lellmann, Dirk Pattinson |
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriane A. Rini |
The Birth of Proof: Modality and Deductive Reasoning. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya (eds.) |
Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsuhiko Sano, Satoshi Tojo |
Dynamic Epistemic Logic for Channel-Based Agent Communication. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Parikh |
On Kripke's Puzzle about Time and Thought. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirna Dzamonja |
Forcing Axioms, Finite Conditions and Some More. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Sandu |
Probabilistic IF Logic. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence E. Blume, David A. Easley, Joseph Y. Halpern |
Constructive Decision Theory. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Agi Kurucz |
A Note on Axiomatisations of Two-Dimensional Modal Logics. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel David Hamkins, Benedikt Löwe |
Moving Up and Down in the Generic Multiverse. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mai Ajspur, Valentin Goranko |
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Cieslinski |
Yablo Sequences in Truth Theories. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ido Ben-Zvi, Yoram Moses |
Agent-Time Epistemics and Coordination. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando R. Velázquez-Quesada |
Public Announcements for Non-omniscient Agents. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohua Banerjee, Anil Seth (eds.) |
Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Priyedarshi Jetli |
The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Doherty 0001, Tomasz P. Michalak, Jacek Sroka, Andrzej Szalas |
Contextual Coalitional Games. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff B. Paris, Alena Vencovská |
A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis I. Saveliev |
Ultrafilter Extensions of Models. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gärdenfors |
Semantics Based on Conceptual Spaces. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Aquil Khan, Minghui Ma |
A Modal Logic for Multiple-Source Tolerance Approximation Spaces. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Thomas |
Infinite Games and Uniformization. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license