The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for logics with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1937-1966 (18) 1967-1971 (16) 1972-1973 (18) 1974-1976 (19) 1977-1978 (21) 1979 (31) 1980 (36) 1981 (36) 1982-1983 (59) 1984 (47) 1985 (59) 1986 (35) 1987 (34) 1988 (80) 1989 (58) 1990 (131) 1991 (111) 1992 (152) 1993 (158) 1994 (197) 1995 (158) 1996 (296) 1997 (242) 1998 (318) 1999 (295) 2000 (326) 2001 (274) 2002 (394) 2003 (334) 2004 (428) 2005 (442) 2006 (552) 2007 (617) 2008 (662) 2009 (563) 2010 (445) 2011 (322) 2012 (400) 2013 (346) 2014 (441) 2015 (363) 2016 (363) 2017 (353) 2018 (320) 2019 (405) 2020 (298) 2021 (375) 2022 (309) 2023 (348) 2024 (41)
Publication types (Num. hits)
article(3997) book(42) incollection(218) inproceedings(7752) phdthesis(213) proceedings(124)
Venues (Conferences, Journals, ...)
Description Logics(1373) JELIA(700) J. Appl. Non Class. Logics(544) CoRR(504) TPHOLs(357) Stud Logica(344) GandALF(233) J. Log. Comput.(172) Log. J. IGPL(156) Notre Dame J. Formal Log.(127) CSL(124) J. Symb. Log.(120) Logic of Programs(116) LICS(115) TABLEAUX(103) PLILP(102) More (+10 of total 1474)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3209 occurrences of 1368 keywords

Results
Found 12346 publication records. Showing 12346 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
100Melvin Fitting Justification logics, logics of knowledge, and conservativity. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B42, 03B45, 03B60, 03B70
79Hiroakira Ono An Algebraic Approach to Substructural Logics - An Overview. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
79Thoralf Räsch Introduction to Guarded Logics. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
77Josep Maria Font, Ramon Jansana Leibniz filters and the strong version of a protoalgebraic logic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Leibniz filter, Strong version, Leibniz operator, Transfer theorem, Modal logics, Many-valued logics, Algebraizable logic, Quantum logics, Abstract algebraic logic, Protoalgebraic logic
75Stéphane Demri, Hans de Nivelle Deciding Regular Grammar Logics with Converse Through First-Order Logic. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF relational translation, 2-variable fragment, guarded fragment, modal and temporal logics
69Tim French 0002 Idempotent Transductions for Modal Logics. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
64Matthias Baaz, Rosalie Iemhoff On Interpolation in Existence Logics. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
62Renate A. Schmidt, Dmitry Tishkovsky A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59George Metcalfe, Nicola Olivetti, Dov M. Gabbay Goal-Directed Calculli for Gödel-Dummett Logics. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Gödel Logics, Hypersequents, Goal-Directed Calculi, Fuzzy Logics, Intermediate Logics
58Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi Temporal logics for real-time system specification. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF logic specification languages, metric of time, specification model, real-time, temporal logics, modal logic, reactive systems, temporal constraints, temporal relationships
58Lutz Schröder, Dirk Pattinson Shallow Models for Non-iterative Modal Logics. Search on Bibsonomy KI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
58Ewa Orlowska Two Logical Dimensions. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
58V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski Modal Nonmonotonic Logics: Ranges, Characterization, Computation. Search on Bibsonomy J. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
54Mark Weyer Decidability of S1S and S2S. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
53E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
53Larisa Maksimova Definability and Interpolation in Non-Classical Logics. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interpolation, modal logic, intuitionistic logic, definability, non-classical logics, amalgamation
53Matteo Baldoni, Laura Giordano 0001, Alberto Martelli A Tableau for Multimodal Logics and Some (Un)Decidability Results. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Multimodal logics, Prefixed Tableaux methods, Decidability, Formal Grammars
53Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Peng Wang 0004 A Family of Extended Fuzzy Description Logics. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
53Tim French 0002 Bisimulation Quantified Logics: Undecidability. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
52Arnon Avron, Anna Zamansky Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Renate A. Schmidt, Dmitry Tishkovsky Multi-agent Logics of Dynamic Belief and Knowledge. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
51Hajime Sawamura, Daisaku Asanuma Mechanizing Relevant Logics with HOL. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
50Arnon Avron A Non-deterministic View on Non-classical Negations. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Non-deterministic Semantics, Many-valued Logics, Paraconsistent Logics, Negation, Constructive Logics
50Ewa Orlowska Many-Valuedness and Uncertainty. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF modal information logics, many-valued modal logics, uncertain knowledge, calculus of information relations, Aristotelian syllogistic, multivalued logic
48Lou Goble Combinator Logics. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fusion, residuation, substructural logics, Relevant logics, combinatory logic
48Jeremy E. Dawson, Rajeev Goré A Mechanisation of Classical Modal Tense Logics Using Isabelle. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1998 DBLP  DOI  BibTeX  RDF logics for knowledge and belief, display logic, sequent calculus, automated deduction, hybrid logics, tense logic
47Hans 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
47Samuel R. Buss, Roman Kuznets The NP-Completeness of Reflected Fragments of Justification Logics. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
47Frank Wolter, Michael Zakharyaschev Undecidability of the unification and admissibility problems for modal and description logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF admissible rule, description logic, decidability, Unification, hybrid logic
47Matthias Baaz, Richard Zach Effective Finite-Valued Approximations of General Propositional Logics. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Petr Cintula Advances in the LPi and LPi1/2i logics. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47Alexander Moshe Rabinovich, Shahar Maoz Why so Many Temporal Logics Climb up the Trees? Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
47Oliver Lemon, Ian E. Pratt Logics for geographic information. Search on Bibsonomy J. Geogr. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
47Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
45Akihiro Yamamoto, Kouichi Hirata, Ken Satoh The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006). Search on Bibsonomy JSAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati 0001 A Uniform Tableaux Method for Nonmonotonic Modal Logics. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Stéphane Demri Efficient Strategies for Automated Reasoning in Modal Logics. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
44Katalin Bimbó Admissibility of Cut in LC with Fixed Point Combinator. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF structurally free logics, fked point combinator, (multiple) cut rule, elimination theorem, substructural logics, non-classical logics, combinatory logic
44João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò 0001 Labelled Deduction over Algebras of Truth-Values. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Josep Maria Font Beyond Rasiowa's Algebraic Approach to Non-classical Logics. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF implicative logics, equivalential logics, Leibniz hierarchy, generalized matrices, Gentzen systems, Frege hierarchy, algebraizable logics, Abstract algebraic logic
42Francesco M. Donini, Daniele Nardi, Riccardo Rosati 0001 Description logics of minimal knowledge and negation as failure. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF frame-based systems, nonmonotonic modal logics, tableau calculi, Description Logics
42F. Sokhatsky The Deepest Repetition-Free Decompositions of Non-Singular Functions of Finite-Valued Logics. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF nonsingular functions, finite-valued logics, repetition-free, isotopy change, commutation change, associative change, Boolean functions, Boolean functions, multivalued logic, three-valued logics
42Stefan Gerberding DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Deep Thought, multiple-valued first-order logics, lemma generation, tableau expansion, branch closure, theorem proving, multivalued logic, multiple-valued logics, quantifiers, first-order predicate logic, truth tables, automated theorem prover
42Arnon Avron, Beata Konikowska Rough Sets and 3-Valued Logics. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF rough sets, three-valued logics, sequent calculi, non-deterministic matrices
42Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001 Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF DL-Lite, Description logics, Query answering, Ontology languages
42Rosalie Iemhoff On the rules of intermediate logics. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF admissible rules, Rieger-Nishimura formulas, Medvedev logic, Independence of Premise, realizability, Intermediate logics
42Volker Diekert, Paul Gastin Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces. Search on Bibsonomy LATIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concurrency, Temporal logics, Mazurkiewicz traces
42Bharat Adsul, Milind A. Sohoni Complete and Tractable Local Linear Time Temporal Logics over Traces. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Concurrency, Temporal Logics, Limits, Mazurkiewicz Traces
42Daniel Lehmann 0001 Connectives in Cumulative Logics. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Dirk Pattinson, Lutz Schröder Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Petr Cintula Weakly Implicative (Fuzzy) Logics I: Basic Properties. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03B22, 03B47, 06F35, 03G99, 03B52, 03B50
42Tadeusz Litak, Frank Wolter All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF frame incompleteness, computational complexity, temporal logic, NP-completeness, tense logic
42Renate A. Schmidt, Dmitry Tishkovsky Multi-Agent Dynamic Logics with Informational Test. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Franz Baader, Silvio Ghilardi, Cesare Tinelli A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. Search on Bibsonomy ECSQARU The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff Hybrid Logics on Linear Structures: Expressivity and Complexity. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Alessandro Artale, Enrico Franconi Introducing Temporal Description Logics. Search on Bibsonomy TIME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42Madhavan Mukund, P. S. Thiagarajan Linear Time Temporal Logics over Mazurkiewicz Traces. Search on Bibsonomy MFCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
41Dietmar Berwanger, Achim Blumensath Automata for Guarded Fixed Point Logics. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Piero A. Bonatti Towards Service Description Logics. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Semantic Web, Description Logics
40Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna Decidability of Interval Temporal Logics over Split-Frames via Granularity. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Tomi Janhunen On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
40Colin Stirling Temporal logics for CCS. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Key-words transition systems, temporal logic, modal logic, CCS
39Stefano Aguzzoli, Matteo Bianchi 0001, Vincenzo Marra A Temporal Semantics for Basic Logic. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Basic Logic, Temporal logics, Modal logics, Many-valued logics, ?ukasiewicz logic
39Matthias Baaz, Rosalie Iemhoff Gentzen Calculi for the Existence Predicate. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
39Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt On the relationship between decidable fragments, non-classical logics, and description logics. Search on Bibsonomy Description Logics The full citation details ... 2002 DBLP  BibTeX  RDF
39Maarten de Rijke Description Logics and Modal Logics. Search on Bibsonomy Description Logics The full citation details ... 1998 DBLP  BibTeX  RDF
39Diego Calvanese, Maurizio Lenzerini, Daniele Nardi Description Logics for Conceptual Data Modeling. Search on Bibsonomy Logics for Databases and Information Systems The full citation details ... 1998 DBLP  BibTeX  RDF
39Jan Chomicki, Gunter Saake Introduction to Logics for Databases and Information Systems. Search on Bibsonomy Logics for Databases and Information Systems The full citation details ... 1998 DBLP  BibTeX  RDF
39Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker Logics for Specifying Concurrent Information Systems. Search on Bibsonomy Logics for Databases and Information Systems The full citation details ... 1998 DBLP  BibTeX  RDF
39Klaus Schild From Terminological Logics to Modal Logics. Search on Bibsonomy Description Logics The full citation details ... 1991 DBLP  BibTeX  RDF
39André Fuhrmann Conditional Logics and Cumulative Logics. Search on Bibsonomy Nonclassical Logics and Information Processing The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
39Arnon Avron, Beata Konikowska Proof Systems for Reasoning about Computation Errors. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF lazy sequential computation, parallel computation, three-valued logics, sequent calculi, four-valued logics, non-deterministic matrices, computation errors
39Willem J. Blok, Eva Hoogland The Beth Property in Algebraic Logic. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF equivalential logics, Beth definability property, epimorphisms, algebraizable logics, Abstract algebraic logic
39Rajeev Alur, Kenneth L. McMillan, Doron A. Peled Deciding Global Partial-Order Properties. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF partial order logics, model checking, concurrency, temporal logics
39George Metcalfe, Nicola Olivetti, Dov M. Gabbay Goal-Directed Methods for Lukasiewicz Logic. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ukasiewicz Logics, Goal-Directed Methods, Fuzzy Logics
39Rajeev Goré, Lan Duy Nguyen CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics
39Mehmet A. Orgun, Guido Governatori, Chuchang Liu Modal tableaux for verifying stream authentication protocols. Search on Bibsonomy Auton. Agents Multi Agent Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fibring logics, System-specific trust theories, Modal tableaux, Temporal logic, Security protocols, Belief logic
39Sergei P. Odintsov The Class of Extensions of Nelson's Paraconsistent Logic. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF N4-lattice, lattice of logics, paraconsistent logic, strong negation
39M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher 0001, Boris Konev First-Order Temporal Verification in Practice. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF temporal logics of knowledge, theorem proving, resolution, first-order temporal logic
38Umberto Straccia Transforming Fuzzy Description Logics into Classical Description Logics. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac Multimo dal Logics of Products of Topologies. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fusion of modal logics, products of modal logics, topological product, horizontal, vertical topologies
37Viorica Sofronie-Stokkermans Representation Theorems and Theorem Proving in Non-Classical Logics. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributive lattices with operators, Priestley duality, many-values logics, automated theorem proving, Non-classical logics
36Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind Tableau calculus for preference-based conditional logics: PCL and its extensions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tableaux calculi, conditional logics
36Sato Kentaro Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF general semantics of substructural logics, meta deduction relation, deductive filter, Stone’s sheaf representation, site, stalker, meaning of connectives, primeness
36Lou Goble Combinatory Logic and the Semantics of Substructural Logics. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Routley-Meyer relational semantics, Substructural logics, combinatory logic
36Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF neighbourhood interval logics, decidability, expressiveness
36Lauri Hella, Jose Maria Turull Torres Complete Problems for Higher Order Logics. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lindström Quantifiers, Complete Problems, Higher Order Logics
36François Maurel Nondeterministic Light Logics and NP-Time. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Light logics, implicit characterisations of complexity classes, NP complexity
36Joeri Engelfriet Only Persistence Makes Nonmonotonicity Monotonous. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF preferential logics, nonmonotonic reasoning, monotonicity
36Wenbo Mao An augmentation of BAN-like logics. Search on Bibsonomy CSFW The full citation details ... 1995 DBLP  DOI  BibTeX  RDF BAN-like logics augmentation, protocol idealization, rule-based technique, protocol syntax, protocols, formal logic, message authentication, authentication protocols, symbolic manipulation
36Lutz Schröder, Dirk Pattinson PSPACE bounds for rank-1 modal logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Shallow models, resolution, coalgebra
36Christoph Benzmüller Automating Access Control Logics in Simple Type Theory with LEO-II. Search on Bibsonomy SEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Mohua Banerjee, Md. Aquil Khan Propositional Logics from Rough Set Theory. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Guilin Qi, Jeff Z. Pan, Qiu Ji Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic. Search on Bibsonomy ECSQARU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Marcelo Arenas, Pablo Barceló, Leonid Libkin Combining Temporal Logics for Querying XML Documents. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev On Dynamic Topological and Metric Logics. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF topological logic, temporal logic, topology, modal logic, dynamical system, decidability, metric space
36Blanka Kozlíková, Vítezslav Svejdar On interplay of quantifiers in Gödel-Dummett fuzzy logics. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03B20, 03B52, 03B55
Displaying result #1 - #100 of 12346 (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 L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license