Search results for "Logics"

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