Search results for "formal logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Slim Rekhis, Noureddine Boudriga	A formal logic-based language and an automated verification tool for computer forensic investigation.	SAC	2005	DBLP DOI BibTeX RDF	S-TLA+, S-TLC, formal forensic investigation, temporal logic of security actions
2	Alexei Tretiakov, Nian-Shing Chen, Kinshuk, Sven Hartmann	Formal Logic as a Learning Facilitation Tool	ICALT	2005	DBLP DOI BibTeX RDF
2	Baiyan Li, Ruonan Rao, Jinyuan You, Minglu Li	A Formal Logic for Shared Resource Access Control in the Grid.	GCC Workshops	2004	DBLP DOI BibTeX RDF
2	Bruce Edmonds	How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS.	RASTA	2002	DBLP DOI BibTeX RDF
2	Dhiraj K. Pradhan, Debjyoti Paul, Mitrajit Chatterjee	VERILAT: verification using logic augmentation and transformations.	ICCAD	1996	DBLP DOI BibTeX RDF	VERILAT, formal logic verification, implication-based methods, logic augmentation, logic transformations, logic testing
2	J. R. Jefferson Wadkins	Rigorous proofs of program correctness without formal logic.	SIGCSE	1995	DBLP DOI BibTeX RDF
2	Imants D. Svalbe	The Geometry of Basis Sets for Morphologic Closing.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	texture measure, partial images closing, basis sets, morphologic closing, closing shapes, orthogonal closing decomposition, roughness measure, parallel algorithms, parallel algorithms, picture processing, picture processing, Boolean functions, Boolean functions, geometry, geometry, set theory, filtering and prediction theory, formal logic, formal logic, image filtering, logic functions, primitives, minimal representation
1	Paul Shafer	Characterizing the Join-Irreducible Medvedev Degrees.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Michael Moses	The Block Relation in Computable Linear Orders.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Samuel Coskey, Joel David Hamkins	Infinite Time Decidable Equivalence Relation Theory.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Øystein Linnebo	Some Criteria for Acceptable Abstraction.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Joël Combase	A Silver-like Perfect Set Theorem with an Application to Borel Model Theory.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Jeffry L. Hirst, Carl Mummert	Reverse Mathematics and Uniformity in Proofs without Excluded Middle.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Juha Kontinen, Jouko A. Väänänen	A Remark on Negation in Dependence Logic.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Ermek S. Nurkhaidarov, Erez Shochat	Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Tommaso Cortonesi, Enrico Marchioni, Franco Montagna	Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Ronald F. Bustamante Medina	Rank and Dimension in Difference-Differential Fields.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Heike Mildenberger	On Milliken-Taylor Ultrafilters.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Rodney G. Downey, Asher M. Kach	Euclidean Functions of Computable Euclidean Domains.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Shimon Garti, Saharon Shelah	Depth of Boolean Algebras.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Andrzej Roslanowski, Saharon Shelah	Reasonable Ultrafilters, Again.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Christopher Steinsvold	Being Wrong: Logics for False Belief.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Tapani Hyttinen, Meeri Kesälä	Lascar Types and Lascar Automorphisms in Abstract Elementary Classes.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Alfred Dolich, John Goodrick, David Lippel	Dp-Minimality: Basic Facts and Examples.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Damir D. Dzhafarov	Stable Ramsey's Theorem and Measure.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Thomas Forster, Thierry Libert	An Order-Theoretic Account of Some Set-Theoretic Paradoxes.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Johanna N. Y. Franklin, Frank Stephan	Van Lambalgen's Theorem and High Degrees.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Stephen G. Simpson, Keita Yokoyama	A Nonstandard Counterpart of WWKL.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Jaap van Oosten	Partial Combinatory Algebras of Functions.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Sy-David Friedman, Martin Koerwien	On Absoluteness of Categoricity in Abstract Elementary Classes.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	G. O. Jones, D. J. Miller, M. E. M. Thomas	Mildness and the Density of Rational Points on Certain Transcendental Curves.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze	An Algebraic Approach to Subframe Logics. Modal Case.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Eli Dresner	Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Ali Bleybel	The Field of LE-Series with a Nonstandard Analytic Structure.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Andrea Calvagna, Angelo Gargantini	A Formal Logic Approach to Constrained Combinatorial Testing.	J. Autom. Reasoning	2010	DBLP DOI BibTeX RDF
1	Mingzhong Cai	A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Alexander Paseau	Pure Second-Order Logic with Second-Order Identity.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Graham Priest	Inclosures, Vagueness, and Self-Reference.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Richard Dietz	On Generalizing Kolmogorov.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Simon Andrews	Definable Open Sets As Finite Unions of Definable Open Cells.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov, Daniel Turetsky	Decidability and Computability of Certain Torsion-Free Abelian Groups.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Victoria Gitman, Joel David Hamkins	A Natural Model of the Multiverse Axioms.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	John P. Burgess	Axiomatizing the Logic of Comparative Probability.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Gian Aldo Antonelli	Numerical Abstraction via the Frege Quantifier.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Michael Detlefsen	Introduction to the Fiftieth Anniversary Issues.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	David Diamondstone, Damir D. Dzhafarov, Robert I. Soare	Pi01 Classes, Peano Arithmetic, Randomness, and Computable Domination.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Jonathan Fleischmann	Syntactic Preservation Theorems for Intuitionistic Predicate Logic.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Solomon Feferman	Set-theoretical Invariance Criteria for Logicality.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Daniel W. Cunningham	A Covering Lemma for HOD of K(R).	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Rod Downey, Keng Meng Ng	Effective Packing Dimension and Traceability.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Kenshi Miyabe	An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-Random Reals.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Kit Fine	Some Puzzles of Ground.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Hitoshi Omori, Toshiharu Waragai	A Note on Majkic's Systems.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Sven Ove Hansson	Past Probabilities.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Joel David Hamkins, Thomas A. Johnstone	Indestructible Strong Unfoldability.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Ori Simchen	Polyadic Quantification via Denoting Concepts.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Johanna N. Y. Franklin	Subclasses of the Weakly Random Reals.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Alex Citkin	Metalogic of Intuitionistic Propositional Calculus.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	David Atkinson, Jeanne Peijnenburg	Justification by Infinite Loops.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Gregory M. Johnson	Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with omega.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Morten Heine Sørensen, Pawel Urzyczyn	A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	George Barmpalias	Relative Randomness and Cardinality.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Cristina Coppola, Giangiacomo Gerla, Annamaria Miranda	Point-free Foundation of Geometry and Multivalued Logic.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Bryan Pickel	Syntax in Basic Laws paragraph paragraph 29-32.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Hannes Leitgeb	On the Ramsey Test without Triviality.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Asher M. Kach, Oscar Levin, Reed Solomon	Embeddings of Computable Structures.	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	George Leibman	The Consistency Strength of MPCCC(R).	Notre Dame Journal of Formal Logic	2010	DBLP BibTeX RDF
1	Bo Meng	A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol.	JCP	2009	DBLP DOI BibTeX RDF
1	Gilles Bernot, Jean-Paul Comet	On the Use of Temporal Formal Logic to Model Gene Regulatory Networks.	CIBB	2009	DBLP DOI BibTeX RDF
1	Leon Horsten	Book Review: Stewart Shapiro. Vagueness in Context.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Robert Hanna	Book Review: Logic, Mathematics, and the Mind: A Critical Study of Richard Tieszen's Phenomenology, Logic, and the Philosophy of Mathematics.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	John D. Clemens	Isomorphism of Homogeneous Structures.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Frank Markham Brown	George Boole's Deductive System.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Martin W. Bunder, R. M. Rizkalla	Proof-finding Algorithms for Classical and Subclassical Propositional Logics.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Ulrich Kohlenbach, Alexander Kreuzer	Ramsey's Theorem for Pairs and Provably Recursive Functions.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Steffen Lewitzka	ELEMENT OFI: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Petr Cintula, George Metcalfe	Structural Completeness in Fuzzy Logics.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Joseph S. Miller	The K-Degrees, Low for K Degrees, and Weakly Low for K Sets.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Jaime Gaspar	Factorization of the Shoenfield-like Bounded Functional Interpretation.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Albert Visser	Growing Commas. A Study of Sequentiality and Concatenation.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Laurence Kirby	Finitary Set Theory.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Brooke M. Andersen, Marcia J. Groszek	Grigorieff Forcing on Uncountable Cardinals Does Not Add a Generic of Minimal Degree.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Taras O. Banakh, Nadia Lyaskovska, Dusan Repovs	Packing Index of Subsets in Polish Groups.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	James M. Dickey, Morris L. Eaton, William D. Sudderth	De Finetti Coherence and Logical Consistency.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Keng Meng Ng	On the Degrees of Diagonal Sets and the Failure of the Analogue of a Theorem of Martin.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Martin Koerwien	Comparing Borel Reducibility and Depth of an omega-Stable Theory.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Gila Sher	Book Review: Jody Azzouni. Tracking Reason: Proof, Consequence, and Truth.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Claudio Bernardi	A Topological Approach to Yablo's Paradox.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Ulrich Meyer	Times in Tense Logic.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Philip Scowcroft	Generalized Halfspaces in the Mixed-Integer Realm.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Vítezslav Svejdar	On Interpretability in the Theory of Concatenation.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Victor Pambuccian	A Reverse Analysis of the Sylvester-Gallai Theorem.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	David Atkinson, Jeanne Peijnenburg	Justification by an Infinity of Conditional Probabilities.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Lloyd Humberstone	Collapsing Modalities.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Bjørn Kjos-Hanssen, André Nies	Superhighness.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Richard Pettigrew	On Interpretations of Bounded Arithmetic and Bounded Set Theory.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Katalin Bimbó	Dual Gaggle Semantics for Entailment.	Notre Dame Journal of Formal Logic	2009	DBLP BibTeX RDF
1	Ethan K. Jackson, Janos Sztipanovits	Formalizing the structural semantics of domain-specific modeling languages.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Structural semantics, Metamodeling, Model-based Design, Formal logic, Domain-specific modeling languages, Horn logic
1	Joshua Gross	Reasoning about Movement in Two-Dimensions.	Canadian Conference on AI	2009	DBLP DOI BibTeX RDF
1	Maria Zemankova	Intelligent Systems: From R.U.R. to ISMIS 2009 and beyond.	ISMIS	2009	DBLP DOI BibTeX RDF