Search results for "axiomatizations"

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