The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase modal logic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1945-1969 (16) 1970-1975 (21) 1976-1978 (16) 1979-1981 (18) 1982-1983 (15) 1984-1986 (17) 1987-1988 (22) 1989-1990 (28) 1991 (18) 1992 (25) 1993 (33) 1994 (34) 1995 (16) 1996 (53) 1997 (21) 1998 (45) 1999 (37) 2000 (66) 2001 (51) 2002 (82) 2003 (67) 2004 (77) 2005 (91) 2006 (106) 2007 (76) 2008 (86) 2009 (79) 2010 (61) 2011 (30) 2012 (66) 2013 (27) 2014 (58) 2015 (32) 2016 (67) 2017 (36) 2018 (83) 2019 (9)
Publication types (Num. hits)
article(630) book(2) incollection(11) inproceedings(1019) phdthesis(11) proceedings(12)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 746 occurrences of 381 keywords

Results
Found 1685 publication records. Showing 1685 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
143Françoise Debart, Patrice Enjalbert, Madeleine Lescot Multi-Modal Logic Programming using Equational and Order-Sorted Logic. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
97Churn-Jung Liau An Overview of Hybrid Possibilistic Reasoning. Search on Bibsonomy RSFDGrC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Qualitative possibility logic, Graded modal logic, Description Logic, Hybrid logic, Possibilistic logic
85Feng Jiang, Yuefei Sui, Cungen Cao An Ontology-Based First-Order Modal Logic. Search on Bibsonomy RSCTC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF First-order modal logic, counterpart, ontology, rigidity
79Lutz Schröder Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
78Alan M. Frisch, Richard B. Scherl A Constraint Logic Approach to Modal Deduction. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
75Tero Tulenheimo, Merlijn Sevenster On Modal Logic, IF Logic, and IF Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
71Roman Kuznets On the Complexity of Explicit Modal Logics. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
70Zaiyue Zhang, Yuefei Sui, Cungen Cao Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics. Search on Bibsonomy RSFDGrC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fuzzy reasoning system, rough set, modal logic
69Lutz Schröder, Till Mossakowski Coalgebraic Modal Logic in CoCasl. Search on Bibsonomy WADT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
68Anuj Dawar, Erich Grädel, Stephan Kreutzer Inflationary fixed points in modal logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Fixed-point logics, complexity, modal logic, decidability, expressive power
67Valentin Goranko, Dimiter Vakarelov Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1998 DBLP  BibTeX  RDF
67Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo Shakespearian Modal Logic: A Labelled Treatment of Modal Identity. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1996 DBLP  BibTeX  RDF
67GuoJun Wang, QiaoLin Duan Theory of (n) truth degrees of formulas in modal logic and a consistency theorem. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF (n) truth degrees, consistency theorem, (n) modality similarity degrees, (n) modality logic metric space, temporal logic, modal logic, approximate reasoning
66Zaiyue Zhang, Yuefei Sui, Cungen Cao Fuzzy Reasoning Based on Propositional Modal Logic. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF propositional modal logic, fuzzy assertion, fuzzy reasoning
65Lutz Schröder A Finite Model Construction for Coalgebraic Modal Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
63Lauri Hella, Miikka Vilander The succinctness of first-order logic over modal logic via a formula size game. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
63Tao Gu, Yanjing Wang "Knowing value'' logic as a normal modal logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
63Lev D. Beklemishev Calibrating Provability Logic: From Modal Logic to Reflection Calculus. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
63Valentin Goranko, Bruce M. Kapron The modal logic of the countable random frame. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
62Vladimir V. Rybakov Barwise's information frames and modal logics. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
62Yoshihiro Maruyama Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic. Search on Bibsonomy ICLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
61Hans Jürgen Ohlbach New Ways for Developing Proof Theories for First-Order Multi Modal Logics. Search on Bibsonomy CSL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic
61Clemens Kupke, Alexander Kurz 0001, Dirk Pattinson Ultrafilter Extensions for Coalgebras. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
60Daisuke Kimura, Yoshihiko Kakutani Classical Natural Deduction for S4 Modal Logic. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Philippe Balbiani, Martín Diéguez Here and There Modal Logic with Dual Implication. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
59Wesley H. Holliday, Tadeusz Litak One Modal Logic to Rule Them All?. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
59Frederik Van De Putte, Dominik Klein 0004 Pointwise Intersection in Neighbourhood Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
59Tomasz Kowalski, George Metcalfe Coherence in Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
59Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella Algebraic semantics of refinement modal logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
59Philippe Balbiani, Tinko Tinchev Unification in modal logic Alt1. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
59Denisa Diaconescu, George Metcalfe, Laura Schnüriger Axiomatizing a Real-Valued Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
59Sara Negri Recent Advances in Proof Systems for Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
59Wesley H. Holliday Partiality and Adjointness in Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
59Hans van Ditmarsch, Jie Fan 0001, Wiebe van der Hoek, Petar Iliev Some Exponential Lower Bounds on Formula-size in Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
59Jakub Michaliszyn, Emanuel Kieronski Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
59Facundo Carreiro, Stéphane Demri Beyond Regularity for Presburger Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
59Andrey Kudinov Modal Logic of Some Products of Neighborhood Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
59Philippe Balbiani, Levan Uridia Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
59Luigi Santocanale, Yde Venema Uniform Interpolation for Monotone Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2010 DBLP  BibTeX  RDF
59Sara L. Uckelman Three 13th-century views of quantified modal logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2008 DBLP  BibTeX  RDF
59Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev Topology, connectedness, and modal logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2008 DBLP  BibTeX  RDF
59Tero Tulenheimo Modal logic of time division. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2008 DBLP  BibTeX  RDF
59Martin Otto 0001, Robert Piro A Lindström characterisation of the guarded fragment and of modal logic with a global modality. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2008 DBLP  BibTeX  RDF
59Valentin B. Shehtman Completeness and incompleteness in first-order modal logic: an overview. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
59Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev From topology to metric: modal logic and quantification in metric spaces. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
59Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev Conservative extensions in modal logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
59Kai Brünnler Deep Sequent Systems for Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
59Robert Goldblatt, Edwin D. Mares A General Semantics for Quantified Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
59Lloyd Humberstone Weaker-to-Stronger Translational Embeddings in Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
59Igor Gorbunov A decidable modal logic that is finitely undecidable. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
59Ilya Shapirovsky On PSPACE-decidability in Transitive Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2004 DBLP  BibTeX  RDF
59Heinrich Wansing Connexive Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2004 DBLP  BibTeX  RDF
59Tapani Hyttinen, Tero Tulenheimo Decidability of IF Modal Logic of Perfect Recall. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2004 DBLP  BibTeX  RDF
59Tero Tulenheimo On IF Modal Logic and its Expressive Power. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2002 DBLP  BibTeX  RDF
59Larisa Maksimova Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2000 DBLP  BibTeX  RDF
59Tim Fernando Towards a Many-Dimensional Modal Logic for Semantic Processing. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2000 DBLP  BibTeX  RDF
59Johan van Bentheim Modal Logic in Two Gestalts. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1998 DBLP  BibTeX  RDF
59Alexander Kurz 0001 A Co-Variety-Theorem for Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1998 DBLP  BibTeX  RDF
59Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing The Origins of Modern Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1998 DBLP  BibTeX  RDF
59Sergei N. Artëmov Operations on Proofs that can be Specified by Means of Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1998 DBLP  BibTeX  RDF
59Carsten Grefe Fischer Servi's Intuitionistic Modal Logic has the Finite Model Property. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1996 DBLP  BibTeX  RDF
59Maarten Marx Mosaics and Cylindric Modal Logic of Dimension~2. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1996 DBLP  BibTeX  RDF
59Philippe Balbiani Terminological Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1996 DBLP  BibTeX  RDF
58Hans Jürgen Ohlbach A Resolution Calculus for Modal Logics. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF resolution principle, modal logic, unification
57Phiniki Stouppa A Deep Inference System for the Modal Logic S5. Search on Bibsonomy Studia Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modal logic S5, cutadmissibility, proof theory, deep inference, calculus of structures
57Wolfgang Pohl Logic-Based Representation and Reasoning for User Modeling Shell Systems. Search on Bibsonomy User Model. User-Adapt. Interact. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF modal logic approach, partition approach, user model representation and reasoning, user modeling shell systems
56M. Jamshid Bagherzadeh, S. Arun-Kumar Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF proof method, multi-agent systems, resolution, belief revision, multi-modal logic
55Michael Bauland, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor Generalized Modal Satisfiability. Search on Bibsonomy STACS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational complexity, modal logic
55Yevgeny Kazakov, Ian Pratt-Hartmann A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
55Harmen van den Berg Modal Logics for Conceptual Graphs. Search on Bibsonomy ICCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
55Horacio L. Arló-Costa, Eric Pacuit First-Order Classical Modal Logic. Search on Bibsonomy Studia Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF First-order modal logic, neighborhood semantics, general frames
54Yasubumi Sakakibara Programming in Modal Logic: An Extension of PROLOG based on Modal Logic. Search on Bibsonomy LP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
53Georg Gottlob NP Trees and Carnap's Modal Logic. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF bounded query computation, trees, modal logic, oracle, epistemic logic, NP, autoepistemic logic
53Mauricio Osorio 0001, Juan Antonio Navarro Pérez Answer Set Programming and S4. Search on Bibsonomy IBERAMIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Anuj Dawar, Erich Grädel, Stephan Kreutzer Inflationary Fixed Points in Modal Logic. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
52Koji Iwanuma, Masateru Harao Knowledge Representation and Inference Based on First-Order Modal Logic. Search on Bibsonomy LP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
52Alessandra Palmigiano, Yde Venema Nabla Algebras and Chu Spaces. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra
51Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti Rasiowa-Sikorski Style Relational Elementary Set Theory. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF translation methods, Modal logic, relational systems
51Zaiyue Zhang, Yuefei Sui, Cungen Cao Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Propositional modal logic, Educed set, Fuzzy reasoning, Formal system
51Georg Gottlob From Carnap's Modal Logic to Autoepistemic Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
51Yoshihiro Maruyama A Duality for Algebras of Lattice-Valued Modal Logic. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
50Andreas Herzig, Jérôme Mengin Uniform Interpolation by Resolution in Modal Logic. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Vincent Wiegel, Jan van den Berg Combining Moral Theory, Modal Logic and Mas to Create Well-Behaving Artificial Agents. Search on Bibsonomy I. J. Social Robotics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Deontic constraints, Trust, Software agents, Modal logic, BDI, Morality
49Matt Fairtlough, Michael Mendler An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
48Linh Anh Nguyen Reasoning About Epistemic States of Agents by Modal Logic Programming. Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Christof Löding, Philipp Rohde Model Checking and Satisfiability for Sabotage Modal Logic. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Hans Jürgen Ohlbach Optimized Translation of Multi Modal Logic into Predicate Logic. Search on Bibsonomy LPAR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
48Oliver Kutz Notes on Logics of Metric Spaces. Search on Bibsonomy Studia Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF expressive completeness, Boolean modal logic, interpolation, Metric spaces, hybrid logic, axiomatisation
48Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso On Modalities for Vague Notions. Search on Bibsonomy SBIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF vague notions, most, knowledge representation, filter, Modal logic
47Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer (eds.) Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018 Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
47Fengkui Ju, Gianluca Grilletti, Valentin Goranko A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
47Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev Frame-Validity Games and Absolute Minimality of Modal Axioms. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
47Ilya Shapirovsky Truth-Preserving Operations on Sums of Kripke Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
47Ana de Almeida Borges, Joost J. Joosten The Worm Calculus. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
47Stepan Kuznetsov *-Continuity vs. Induction: Divide and Conquer. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
47Robin Hirsch, Brett McLean The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
47Andrzej Indrzejczak Cut-Free Modal Theory of Definite Descriptions. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
47Alex Citkin One-Generated WS5-Algebras. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
47Stanislav Kikot Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
47Ivano Ciardelli Dependence Statements Are Strict Conditionals. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 1685 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license