Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
83 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
Axiomatizing Tropical Semirings. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
relative axiomatizations, commutative idempotent weak semirings, tropical semirings, exponential time complexity, convexity, varieties, Equational logic, complete axiomatizations |
77 | Amélie Gheerbrant, Balder ten Cate |
Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
Fragments of MSO, Henkin semantics, Ehrenfeucht-Fraïssé games, Feferman-Vaught theorems, Trees, Axiomatizations |
57 | Peter Dybjer, Anton Setzer |
Indexed Induction-Recursion. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras |
50 | Siegfried Gottwald |
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets |
50 | Siegfried Gottwald |
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets |
49 | Szabolcs Mikulás, Mark Reynolds 0001, Tim French 0002 |
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
temporal logic, epistemic logic, complete axiomatizations |
43 | Marc Pauly |
On the role of language in social choice theory. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
Logic, Judgment aggregation, Social choice theory |
43 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik |
Finite Equational Bases in Process Algebra: Results and Open Questions. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Rob J. van Glabbeek |
Axiomatizing Flat Iteration. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
Probabilistic I/O Automata: Theories of Two Equivalences. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations |
36 | Yuxin Deng, Catuscia Palamidessi |
Axiomatizations for Probabilistic Finite-State Behaviors. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Ron van der Meyden, Ka-Shu Wong |
Complete Axiomatizations for Reasoning about Knowledge and Branching Time. |
Stud Logica |
2003 |
DBLP DOI BibTeX RDF |
perfect recall, multi-agent systems, temporal logic, modal logic, epistemic logic, synchrony, logic of knowledge, branching time |
36 | Emanuele Bandini, Roberto Segala |
Axiomatizations for Probabilistic Bisimulation. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Gernot Salzer |
Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Wojciech Penczek |
Axiomatizations of Temporal Logics on Trace Systems. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
Classification Theory of Parallel and Distributed Computation, Semantics and Logics of Programming Languages, Logic in Computer Science |
36 | Michel Billaud |
Axiomatizations of Backtracking. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages |
29 | Alessandra Palmigiano, Yde Venema |
Nabla Algebras and Chu Spaces. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra |
29 | Yuxin Deng, Catuscia Palamidessi, Jun Pang 0001 |
Compositional Reasoning for Probabilistic Finite-State Behaviors. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Joseph Y. Halpern, Leandro Chaves Rêgo |
Interactive unawareness revisited. |
TARK |
2005 |
DBLP BibTeX RDF |
|
29 | Willem J. Blok, James G. Raftery |
Fragments of R-Mingle. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
Sugihara algebra, mingle, fragment, RM, relevance logic |
29 | Ron van der Meyden, Manas K. Patra |
A Logic for Probability in Quantum Systems. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Joachim Parrow, Björn Victor |
The Tau-Laws of Fusion. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Qing Guo, Paliath Narendran, Sandeep K. Shukla |
Unification and Matching in Process Algebras. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Reiner Hähnle |
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
commodious axiomatization, distribution quantifiers, lattice-based quantifiers, skolemized signed formulas, Boolean set lattices, Boolean functions, filters, multivalued logic, multiple-valued logic, quantifiers |
29 | John Hannan |
Searching For Semantics. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
29 | 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 |
29 | Vaughan R. Pratt |
Process Logic. |
POPL |
1979 |
DBLP DOI BibTeX RDF |
|
27 | Mark Reynolds 0001 |
More Past Glories. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
temporal logic, automata, axiomatizations |
21 | Ali Enayat, Mateusz Lelyk |
Axiomatizations of Peano Arithmetic: a Truth-Theoretic View. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Søren Brinck Knudstorp |
Modal Information Logics: Axiomatizations and Decidability. |
J. Philos. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Özer Selçuk, Takamasa Suzuki |
Comparable axiomatizations of the average tree solution and the Myerson value. |
Int. J. Game Theory |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan |
Synthesizing axiomatizations using logic learning. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Zhengxing Zou, René van den Brink, Youngsub Chun, Yukihiko Funaki |
Axiomatizations of the proportional division value. |
Soc. Choice Welf. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Sascha Kurz, Issofa Moyouwou, Hilaire Touyem |
Axiomatizations for the Shapley-Shubik power index for games with several levels of approval in the input and output. |
Soc. Choice Welf. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Sylvain Béal, André Casajus, Eric Rémila, Philippe Solal |
Cohesive efficiency in TU-games: axiomatizations of variants of the Shapley value, egalitarian values and their convex combinations. |
Ann. Oper. Res. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Xun-Feng Hu 0001 |
New axiomatizations of the Owen value. |
Math. Methods Oper. Res. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Jie Fan 0001 |
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations. |
Logica Universalis |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Antonis Achilleos, Mathias Ruggaard Pedersen |
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Zhiwei Cui, Yan-An Hwang, Ding-Cheng You |
Axiomatizations of the β and the score measures in networks. |
Int. J. Game Theory |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Antonis Achilleos, Mathias Ruggaard Pedersen |
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Manfred Besner |
Parallel axiomatizations of weighted and multiweighted Shapley values, random order values, and the Harsanyi set. |
Soc. Choice Welf. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Manfred Besner |
Correction to: Parallel axiomatizations of weighted and multiweighted Shapley values, random order values, and the Harsanyi set. |
Soc. Choice Welf. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Asadollah Fallahi |
Simple Axiomatizations for Pretabular Classical Relevance Logics. |
Stud Logica |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Sascha Kurz, Issofa Moyouwou, Hilaire Touyem |
Axiomatizations for the Shapley-Shubik power index for games with several levels of approval in the input and output. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Takaaki Abe |
Axiomatizations of coalition aggregation functions. |
Math. Soc. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Marco Bernardo 0001 |
Towards General Axiomatizations for Bisimilarity and Trace Semantics. |
WADT |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Nick Bezhanishvili |
Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. |
AiML |
2020 |
DBLP BibTeX RDF |
|
21 | László Csató |
Axiomatizations of inconsistency indices for triads. |
Ann. Oper. Res. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Rob Egrot |
Recursive axiomatizations for representable posets. |
Int. J. Algebra Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Catarina Dutilh Novaes |
Axiomatizations of arithmetic and the first-order/second-order divide. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Urszula Wybraniec-Skardowska |
On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers. |
Axioms |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Yaroslav Shramko, Dmitry Zaitsev 0002, Alexander Belikov 0001 |
The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins. |
J. Philos. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Rob Egrot |
Recursive axiomatizations from separation properties. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
21 | Fan Yang 0004 |
Negation and partial axiomatizations of dependence and independence logic revisited. |
Ann. Pure Appl. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Pedro Calleja, Francesc Llerena |
Path monotonicity, consistency and axiomatizations of some weighted solutions. |
Int. J. Game Theory |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Adam Grabowski, Damian Sawicki |
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander. |
Formaliz. Math. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Carlo Nicolai |
Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth. |
Stud Logica |
2018 |
DBLP DOI BibTeX RDF |
|
21 | László Csató |
Axiomatizations of inconsistency indices for triads. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
21 | Martin Lück |
Axiomatizations of team logics. |
Ann. Pure Appl. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Rob Egrot |
No finite axiomatizations for posets embeddable into distributive lattices. |
Ann. Pure Appl. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Stephan Alexander Spahn |
Axiomatizations of Compositional Inductive-Recursive Definitions |
|
2018 |
RDF |
|
21 | Shiran Rachmilevitch |
Axiomatizations of the equal-loss and weighted equal-loss bargaining solutions. |
Soc. Choice Welf. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Yu-Hsien Liao |
The supreme-consistent value for fuzzy transferable-utility games: Alternative formulation, dynamic process and axiomatizations. |
J. Intell. Fuzzy Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Radomír Halas, Radko Mesiar, Jozef Pócs |
Generalized comonotonicity and new axiomatizations of Sugeno integrals on bounded distributive lattices. |
Int. J. Approx. Reason. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Fredrik Engström, Juha Kontinen, Jouko Väänänen |
Dependence logic with generalized quantifiers: Axiomatizations. |
J. Comput. Syst. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira |
Axiomatizations for downward XPath on data trees. |
J. Comput. Syst. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Fan Yang 0004 |
Modal dependence logics: axiomatizations and model-theoretic properties. |
Log. J. IGPL |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Yu-Hsien Liao |
Fuzzy games: a complement-consistent solution, axiomatizations and dynamic approaches. |
Fuzzy Optim. Decis. Mak. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Ling-Yun Chung, Yu-Hsien Liao, Wen-Ying Hsieh, Tsu-Yin Chen, Chen-Kun Lin |
Alternative Reductions and Axiomatizations of the Unit-Level-Core. |
Asia Pac. J. Oper. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | John Kleppe, Hans Reijnierse, Peter Sudhölter |
Axiomatizations of symmetrically weighted solutions. |
Ann. Oper. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira |
Axiomatizations for downward XPath on Data Trees. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
21 | Martin Lück |
Axiomatizations of Team Logics. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
21 | Petr Cintula |
A note on axiomatizations of Pavelka-style complete fuzzy logics. |
Fuzzy Sets Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Yu-Hsien Liao |
The consistent value for fuzzy games: alternative axiomatizations. |
Fuzzy Optim. Decis. Mak. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Pascal Hitzler, Adila Krisnadhi |
On the Roles of Logical Axiomatizations for Ontologies. |
Ontology Engineering with Ontology Design Patterns |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Fan Yang 0004 |
Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Martin Lück |
Axiomatizations for Propositional and Modal Team Logic. |
CSL |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Genjiu Xu, Han Dai, Haobin Shi |
Axiomatizations and a Noncooperative Interpretation of the α-CIS Value. |
Asia Pac. J. Oper. Res. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Adam Grabowski |
Two Axiomatizations of Nelson Algebras. |
Formaliz. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Tsuyoshi Adachi, Takumi Kongo |
Further axiomatizations of Egghe's g-index. |
J. Informetrics |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Grigoriy V. Bokov |
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication. |
Log. J. IGPL |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Yu-Hsien Liao |
Solutions, Potentializability and Axiomatizations under Interval Uncertainty. |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Evgeny Zolin |
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi. |
Stud Logica |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Grigoriy V. Bokov |
Undecidability of the problem of recognizing axiomatizations for implicative propositional calculi. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
21 | Jesse Alama |
Some problems with two axiomatizations of discussive logic. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
21 | Arto Salomaa |
On Axiomatizations of General Many-Valued Propositional Calculi. |
Discrete Mathematics and Computer Science |
2014 |
DBLP BibTeX RDF |
|
21 | Matthias Horbach, Viorica Sofronie-Stokkermans |
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. |
IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Yanjing Wang 0001, Qinxiang Cao |
On axiomatizations of public announcement logic. |
Synth. |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Marcello M. Bonsangue, Stefan Milius, Alexandra Silva 0001 |
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. |
ACM Trans. Comput. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Fredrik Engström, Juha Kontinen, Jouko A. Väänänen |
Dependence Logic with Generalized Quantifiers: Axiomatizations |
CoRR |
2013 |
DBLP BibTeX RDF |
|
21 | Fredrik Engström, Juha Kontinen, Jouko A. Väänänen |
Dependence Logic with Generalized Quantifiers: Axiomatizations. |
WoLLIC |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers |
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. |
CALCO |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Matthias Horbach, Viorica Sofronie-Stokkermans |
Obtaining Finite Local Theory Axiomatizations via Saturation. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Yu-Hsien Liao |
Alternative Axiomatizations of the Shapley Value under Interval Uncertainty. |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Amélie Gheerbrant, Balder ten Cate |
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees |
Log. Methods Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Miguel Couceiro, Tamás Waldhauser |
Axiomatizations and Factorizations of Sugeno Utility Functions. |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Marta Cardin, Miguel Couceiro, Silvio Giove, Jean-Luc Marichal |
Axiomatizations of Signed Discrete Choquet integrals. |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Tarek Sayed Ahmed |
On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras. |
Math. Log. Q. |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Marcello M. Bonsangue, Stefan Milius, Alexandra Silva 0001 |
Sound and complete axiomatizations of coalgebraic language equivalence |
CoRR |
2011 |
DBLP BibTeX RDF |
|
21 | Miguel Couceiro, Jean-Luc Marichal |
Axiomatizations of Lovász extensions of pseudo-Boolean functions. |
Fuzzy Sets Syst. |
2011 |
DBLP DOI BibTeX RDF |
|