Search results for "axiomatizability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
185	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.	IFIP TCS	2008	DBLP DOI BibTeX RDF
69	Dmitrij P. Skvortsov	On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees.	Stud Logica	2004	DBLP DOI BibTeX RDF	Intermediate predicate logics, recursive and finite axiomatizability, Kripke semantics
69	Razvan Diaconescu	An Institution-independent Proof of Craig Interpolation Theorem.	Stud Logica	2004	DBLP DOI BibTeX RDF	axiomatizability, interpolation, algebraic specification, institutions
45	Taolue Chen, Wan J. Fokkink	On the Axiomatizability of Impossible Futures: Preorder versus Equivalence.	LICS	2008	DBLP DOI BibTeX RDF
45	Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco	Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.	CSL	2008	DBLP DOI BibTeX RDF
45	Stefan Blom, Wan J. Fokkink, Sumit Nain	On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces.	ICALP	2003	DBLP DOI BibTeX RDF
40	Sven Hartmann, Sebastian Link	Efficient reasoning about a robust XML key fragment.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	XML key, reachability, axiomatization, implication, XML data
40	Luca Aceto, Anna Ingólfsdóttir	The Saga of the Axiomatization of Parallel Composition.	CONCUR	2007	DBLP DOI BibTeX RDF
29	Miklós Maróti, Ralph McKenzie	Finite basis problems and results for quasivarieties.	Stud Logica	2004	DBLP DOI BibTeX RDF	finite axiomatizability, pseudo-complemented congruence lattices, Willard terms, quasivarieties
29	Joseph Y. Halpern, Yoav Shoham	A Propositional Modal Logic of Time Intervals.	J. ACM	1991	DBLP DOI BibTeX RDF	axiomatizability, temporal logic, modal logic, temporal reasoning, time intervals
26	Sérgio Marcelino, Umberto Rivieccio	Finite axiomatizability of logics of distributive lattices with negation.	Log. J. IGPL	2023	DBLP DOI BibTeX RDF
26	Amanda Vidal	Undecidability and Non-Axiomatizability of Modal Many-Valued Logics.	J. Symb. Log.	2022	DBLP DOI BibTeX RDF
26	Igor Gorbunov, Dmitry Shkatov	On Independent Axiomatizability of Quasi-Normal Modal Logics.	Stud Logica	2022	DBLP DOI BibTeX RDF
26	Corey Bacal Switzer	Destructibility and axiomatizability of Kaufmann models.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
26	Amanda Vidal	Non axiomatizability of Modal Lukasiewicz Logic.	CoRR	2021	DBLP BibTeX RDF
26	Sérgio Marcelino, Umberto Rivieccio	Finite axiomatizability of logics of distributive lattices with negation.	CoRR	2021	DBLP BibTeX RDF
26	Amina Doumane	Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk).	MFCS	2021	DBLP DOI BibTeX RDF
26	Ziba Assadi, Saeed Salehi	On decidability and axiomatizability of some ordered structures.	Soft Comput.	2019	DBLP DOI BibTeX RDF
26	Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen	On the Axiomatizability of Priority III: The Return of Sequential Composition.	ICTCS	2019	DBLP BibTeX RDF
26	Saeed Salehi	On Axiomatizability of the Multiplicative Theory of Numbers.	Fundam. Informaticae	2018	DBLP DOI BibTeX RDF
26	Chris Pollett	On the finite axiomatizability of.	Math. Log. Q.	2018	DBLP DOI BibTeX RDF
26	Radu Mardare, Prakash Panangaden, Gordon D. Plotkin	On the Axiomatizability of Quantitative Algebras.	CoRR	2018	DBLP BibTeX RDF
26	Radu Mardare, Prakash Panangaden, Gordon D. Plotkin	On the axiomatizability of quantitative algebras.	LICS	2017	DBLP DOI BibTeX RDF
26	Peter Sinclair	Computable axiomatizability of elementary classes.	Math. Log. Q.	2016	DBLP DOI BibTeX RDF
26	Sándor Vályi	On the axiomatizability of some first-order spatio-temporal theories.	Synth.	2015	DBLP DOI BibTeX RDF
26	Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek	On the Axiomatizability of Impossible Futures.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
26	Alex Rennet	The non-Axiomatizability of O-Minimality.	J. Symb. Log.	2014	DBLP DOI BibTeX RDF
26	David Fernández-Duque	Non-finite axiomatizability of dynamic topological logic.	ACM Trans. Comput. Log.	2014	DBLP DOI BibTeX RDF
26	Albert Visser	Vaught's Theorem on Axiomatizability by a Scheme.	Bull. Symb. Log.	2012	DBLP DOI BibTeX RDF
26	David Fernández-Duque	Non-finite axiomatizability of Dynamic Topological Logic	CoRR	2012	DBLP BibTeX RDF
26	David Fernández-Duque	Non-finite Axiomatizability of Dynamic Topological Logic.	Advances in Modal Logic	2012	DBLP BibTeX RDF
26	Robin Hirsch, Szabolcs Mikulás	Axiomatizability of representable domain algebras.	J. Log. Algebraic Methods Program.	2011	DBLP DOI BibTeX RDF
26	Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol	On the axiomatizability of priority II.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
26	Daniele Mundici	Finite axiomatizability in Łukasiewicz logic.	Ann. Pure Appl. Log.	2011	DBLP DOI BibTeX RDF
26	Catalin Dima	Non-axiomatizability for the linear temporal logic of knowledge with concrete observability.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
26	Miguel Campercholi, Diego Vaggione	Axiomatizability by forall-exists-sentences.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
26	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	Lifting non-finite axiomatizability results to extensions of process algebras.	Acta Informatica	2010	DBLP DOI BibTeX RDF
26	Dmitrij P. Skvortsov	On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
26	Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir	On the Axiomatizability of Priority.	ICALP (2)	2006	DBLP DOI BibTeX RDF
26	Grigore Rosu	Axiomatizability in Inclusive Equational Logics.	Math. Struct. Comput. Sci.	2002	DBLP DOI BibTeX RDF
26	Grigore Rosu	Equational axiomatizability for coalgebra.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
26	Szabolcs Mikulás	Axiomatizability of algebras of binary relations.	FotFS	2001	DBLP DOI BibTeX RDF
26	Alexej P. Pynko	Functional completeness, axiomatizability within Belnap's four valued logic and its expansions.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
26	Grigore Rosu	A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra.	CMCS	1998	DBLP DOI BibTeX RDF
26	Zoltán Ésik, Michael Bertol	Nonfinite Axiomatizability of the Equational Theory of Shuffle.	Acta Informatica	1998	DBLP DOI BibTeX RDF
26	Alexander V. Chagrov, Michael Zakharyaschev	On the Independent Axiomatizability of Modal and Intermediate Logics.	J. Log. Comput.	1995	DBLP DOI BibTeX RDF
26	Stephen L. Bloom, Zoltán Ésik	Nonfinite Axiomatizability of Shuffle Inequalities.	TAPSOFT	1995	DBLP DOI BibTeX RDF
26	Zoltán Ésik, Michael Bertol	Nonfinite Axiomatizability of the Equational Theory of Shuffle.	ICALP	1995	DBLP DOI BibTeX RDF
26	Marek Tokarz	Non-axiomatizability of Grice's implicature.	Stud Logica	1994	DBLP DOI BibTeX RDF
26	Balázs Biró	Non-Finite-Axiomatizability Results in Algebraic Logic.	J. Symb. Log.	1992	DBLP DOI BibTeX RDF
26	Burghard Herrmann, Wolfgang Rautenberg	Finite Replacement and Finite Hilbert-Style Axiomatizability.	Math. Log. Q.	1992	DBLP DOI BibTeX RDF
26	Dugald Macpherson	Finite Axiomatizability and Theories with Trivial Algebraic Closure.	Notre Dame J. Formal Log.	1991	DBLP DOI BibTeX RDF
26	Peter Perkins	Finite Axiomatizability for Equational Theories of Computable Groupoids.	J. Symb. Log.	1989	DBLP DOI BibTeX RDF
26	Roger D. Maddux	Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.	J. Symb. Log.	1989	DBLP DOI BibTeX RDF
26	Wojciech Zielonka	A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi.	Stud Logica	1989	DBLP DOI BibTeX RDF
26	Piotr Wojtylak	Independent Axiomatizability of Sets of Sentences.	Ann. Pure Appl. Log.	1989	DBLP DOI BibTeX RDF
26	Marc H. Graham, Moshe Y. Vardi	On the Complexity and Axiomatizability of Consistent Database States.	PODS	1984	DBLP DOI BibTeX RDF
26	James H. Schmerl	Decidability and Finite Axiomatizability of Theories of 0-Categorical Partially Ordered Sets.	J. Symb. Log.	1981	DBLP DOI BibTeX RDF
26	Wojciech Zielonka	Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes.	Math. Log. Q.	1981	DBLP DOI BibTeX RDF
26	D. A. Anapolitanos, Jouko A. Väänänen	On the Axiomatizability of the Notion of an Automorphism of a Finite Order.	Math. Log. Q.	1980	DBLP DOI BibTeX RDF
26	Robert L. Vaught	Axiomatizability by a Schema.	J. Symb. Log.	1967	DBLP DOI BibTeX RDF
26	E. J. Lemmon	Some results on finite axiomatizability in modal logic.	Notre Dame J. Formal Log.	1965	DBLP DOI BibTeX RDF
26	William Craig, Robert L. Vaught	Finite Axiomatizability Using Additional Predicates.	J. Symb. Log.	1958	DBLP DOI BibTeX RDF
26	William Craig	On Axiomatizability Within a System.	J. Symb. Log.	1953	DBLP DOI BibTeX RDF
20	Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek	On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.	SOFSEM	2009	DBLP DOI BibTeX RDF
20	Marc Pauly	On the role of language in social choice theory.	Synth.	2008	DBLP DOI BibTeX RDF	Logic, Judgment aggregation, Social choice theory
20	Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	Impossibility Results for the Equational Theory of Timed CCS.	CALCO	2007	DBLP DOI BibTeX RDF
20	Grigore Rosu	Complete Categorical Deduction for Satisfaction as Injectivity.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
20	Dimiter Vakarelov	Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Nelson negation, subminimal logic, counterexample semantics, many-valued logics
20	Johan van Benthem	Guards, Bounds, and Generalized Semantics.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF
20	Vincent Astier, Marcus Tressl	Axiomatization of local-global principles for pp-formulas in spaces of orderings.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Spaces of orderings, Special groups, Positive-primitive formulas, Local-global principles, Isotropy theorem, Model theory, Quadratic forms
20	Dietrich Kuske	A Further Step towards a Theory of Regular MSC Languages.	STACS	2002	DBLP DOI BibTeX RDF
20	Zoltán Ésik	Axiomatizing the Least Fixed Point Operation and Binary Supremum.	CSL	2000	DBLP DOI BibTeX RDF
20	Giovanna D'Agostino, Angelo Montanari, Alberto Policriti	A Set-Theoretic Translation Method for (Poly)modal Logics.	STACS	1995	DBLP DOI BibTeX RDF
20	Vaughan R. Pratt	On the Composition of Processes.	POPL	1982	DBLP DOI BibTeX RDF